Kani End-To-End Performance Benchmarks

Automatic toolchain upgrade to nightly-2025-07-13 (#4223) #28

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
perf-benchcomp	1h 35m 20s
	1h 35m 20s