Skip to content
Lint

Merge pull request #4619 from github/update-collections-${PR_ID} #4509

Sign in to view logs

Merge pull request #4619 from github/update-collections-${PR_ID}

Merge pull request #4619 from github/update-collections-${PR_ID} #4509

Re-run triggered February 5, 2025 17:16
@kenyonjkenyonj
f4fb2e0
main
Status Failure
Total duration 24s
Artifacts –

lint.yml

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

Annotations

1 error
lint
Command failed: git push remote: Permission to github/explore.git denied to github-actions[bot]. fatal: unable to access 'https://github.com/github/explore/': The requested URL returned error: 403