[Certora] Switch to stable version of the prover #1158

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compilation (without IR)	55s
Compilation (via IR)	57s
Tests (slow)	12m 9s
Tests (fast)	2m 3s
	16m 4s