Skip to content

Fix syntax error

Fix syntax error #248

Annotations

1 error

benchcomp-tests

failed Mar 14, 2024 in 4m 9s
Set up job
0s
Checkout Kani
0s
Install benchcomp dependencies
8s
Setup Kani Dependencies
1m 24s
Build Kani using release mode
2m 21s
Run benchcomp unit and regression tests
13s
Post Checkout Kani
0s
Complete job
0s