Skip to content
Actionlint

chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a branch or tag #19

Sign in to view logs

chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a branch or tag

chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a branch or tag #19

Run time

Learn about OS pricing on GitHub Actions
Job Run time
actionlint
21s
21s