Skip to content
.github/workflows/main.yml

add spec.mk to test with one spec file for all non-big theorems #1050

Sign in to view logs

add spec.mk to test with one spec file for all non-big theorems

add spec.mk to test with one spec file for all non-big theorems #1050

ci (5.2.1, 3.17.1, 8.03.01, 3.0.0, master, master, 2.7, mappings_N)

ci (5.2.1, 3.17.1, 8.03.01, 3.0.0, master, master, 2.7, mappings_N)
succeeded Feb 1, 2025 in 13m 49s