Skip to content
Actionlint

chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a… #22

Sign in to view logs

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

chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a… #22

Run time

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