Skip to content
Makefile CI

Prove the partial correctness of a small program with a loop #777

Sign in to view logs

Prove the partial correctness of a small program with a loop

Prove the partial correctness of a small program with a loop #777

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
4m 21s
build (macos-14)
7m 41s
12m 2s