Skip to content
Run Tests

chore: build all of Mathlib in Mathlib tests in case cache is not present #70

Sign in to view logs

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

chore: build all of Mathlib in Mathlib tests in case cache is not present #70

Run time

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