Skip to content
commit

cleanup: map workflow name to filename #1060

Sign in to view logs

cleanup: map workflow name to filename

cleanup: map workflow name to filename #1060

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint / pre-commit
17s
17s