Skip to content

Switch from triomphe::Arc to MiniArc, our own Arc implementation #547

Switch from triomphe::Arc to MiniArc, our own Arc implementation

Switch from triomphe::Arc to MiniArc, our own Arc implementation #547

Triggered via push September 14, 2024 04:04
Status Failure
Total duration 2m 51s
Artifacts

Kani.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
run-kani
Process completed with exit code 1.