Skip to content
Actionlint

chore: when setting up Mathlib CI, make sure nightly-with-mathlib branch has been fetched #731

Sign in to view logs

chore: when setting up Mathlib CI, make sure nightly-with-mathlib branch has been fetched

chore: when setting up Mathlib CI, make sure nightly-with-mathlib branch has been fetched #731

Run time

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