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