Switch from triomphe::Arc to MiniArc, our own Arc implementation
#550
Triggered via pull request
September 14, 2024 04:15
tatsuya6502
Status
Failure
Total duration
3m 24s
Artifacts
–
Kani.yml
on: pull_request
pre_job
6s
run-kani
1m 57s
Annotations
1 error
|
run-kani
Process completed with exit code 1.
|