Skip to content
Kani

AWS-Team-4 Modify and add documentation to run kani on proofs in the library #228

Sign in to view logs

AWS-Team-4 Modify and add documentation to run kani on proofs in the library

AWS-Team-4 Modify and add documentation to run kani on proofs in the library #228

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
25m 31s
build (macos-latest)
31m 52s
57m 23s