Skip to content
Run Tests

chore: build all of Mathlib in Mathlib tests in case cache is not pre… #71

Sign in to view logs

chore: build all of Mathlib in Mathlib tests in case cache is not pre…

chore: build all of Mathlib in Mathlib tests in case cache is not pre… #71

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test
1m 9s
1m 9s