Skip to content
formal

adds formal tests to workflow, adds a harden script, more tests #1

Sign in to view logs

adds formal tests to workflow, adds a harden script, more tests

adds formal tests to workflow, adds a harden script, more tests #1

Run time

Learn about OS pricing on GitHub Actions
Job Run time
formal
20s
20s