Skip to content
amd64-linux-main-proof

Removed one line in the test/Makefile, which is no longer needed #297

Sign in to view logs

Removed one line in the test/Makefile, which is no longer needed

Removed one line in the test/Makefile, which is no longer needed #297

Run time

Learn about OS pricing on GitHub Actions
Job Run time
proof-all
16s
16s