Skip to content

Update .github/workflows/kani.yml

907e2c1
Select commit
Loading
Failed to load commit list.
Merged

Use same perf tests for benchcomp in CI #2429

Update .github/workflows/kani.yml
907e2c1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs