Kani End-To-End Performance Benchmarks

Automatic toolchain upgrade to nightly-2025-11-09 (#4457) #212

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
perf-benchcomp	1h 29m 49s
	1h 29m 49s