Benchmark PR (iai)

Create proof_programs symbolic links in `deps` target #4343

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fetch-iai-results	5m 4s
run-iai-benchmark	4m 46s
	9m 50s