Oxidize prove_stdio.sh #1361
jerigon-native.yml
on: pull_request
Native tracer proof generation
7m 47s
Annotations
2 errors
Native tracer proof generation:
scripts/prove_stdio.rs#L1
unused import: `env::set_var`
|
Native tracer proof generation
Process completed with exit code 101.
|