Run performance comparison in CI using Kani's Benchcomp #32
Triggered via pull request
February 26, 2024 19:36
tautschnig
Status
Success
Total duration
34m 38s
Artifacts
–
performance.yaml
on: pull_request
perf-benchcomp
29m 25s