added a proof verifier that works with borrowed proofs #1
continuous-integration-workflow.yml
on: push
Test Suite
5m 24s
Check wasm32 compatibility
34s
Test Suite in no-std
4m 59s
Formatting and Clippy
20s
Annotations
1 error
Formatting and Clippy
Process completed with exit code 1.
|