Kani Performance Benchmarks

Merge branch 'model-checking:main' into main #24

Sign in to view logs

Triggered via push December 20, 2024 13:48

remi-delmas-3000

main

Status Success

Total duration 1h 22m 46s

Artifacts –

bench.yml

on: push