Skip to content
Lint PR Title

Use ${GITHUB_SHA} instead of HEAD to avoid race conditions #70

Sign in to view logs

Use ${GITHUB_SHA} instead of HEAD to avoid race conditions

Use ${GITHUB_SHA} instead of HEAD to avoid race conditions #70

Re-run triggered June 7, 2024 21:43
@nicksnydernicksnyder
#139
arvid220u:patch-1
Status Success
Total duration 13s
Artifacts –

pr-title.yaml

on: pull_request
lint  /  lint
2s
lint / lint
Fit to window
Zoom out
Zoom in