Skip to content
docker-ci

Fix more duplicated theorems after breakage caused by 705d331db97 #196

Sign in to view logs

Fix more duplicated theorems after breakage caused by 705d331db97

Fix more duplicated theorems after breakage caused by 705d331db97 #196

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-stdknl
18m 26s
build-expk
16m 58s
35m 24s