Publish pinned Lean evaluation images #1831

Job	Run time
Plan Benchmarks	18s
Benchmark Static Quality	8s
Benchmark Contracts, Adapters, Records & Digests	4s
Host Verifiers (provider-feasibility-v1-1)	10s
Host Verifiers (test_verifier_security_regressions)	10s
Benchmark Inventory Validation	0s
Benchmark Oracle (${{ matrix.dataset }}/${{ matrix.shard }})	1s
Benchmark Validation	7s
Publish Benchmark Timings	1s
	59s

Navigation Menu