Skip to content
lint

chore: Rename PULL_REQUEST.md to .github/PULL_REQUEST.md #310

Sign in to view logs

chore: Rename PULL_REQUEST.md to .github/PULL_REQUEST.md

chore: Rename PULL_REQUEST.md to .github/PULL_REQUEST.md #310

Triggered via push September 11, 2025 20:27
@josegonzalezjosegonzalez
pushed 39848e6
master
Status Success
Total duration 23s
Artifacts –

lint.yml

on: push
lint
20s
lint
Fit to window
Zoom out
Zoom in