Skip to content
Correspondence Validation

feat(rust-cli): wire alias expansion + update project documentation #144

Sign in to view logs

feat(rust-cli): wire alias expansion + update project documentation

feat(rust-cli): wire alias expansion + update project documentation #144

Run time

Learn about OS pricing on GitHub Actions
Job Run time
validate-correspondence
2s
property-testing
53s
verify-proofs
0s
55s