Add interning to air generation thus ensuring unique variable names #1875
Triggered via pull request
September 12, 2024 20:58
MicroProofs
Status
Failure
Total duration
5m 59s
Artifacts
–
tests.yml
on: pull_request
acceptance_tests
4m 52s
unit_tests
2m 41s
benchmarks
5m 51s
checks
1m 20s
Annotations
1 error
|
checks
Process completed with exit code 101.
|