Simplify returning of proof results #407

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Version Bump	5s
Version Bump	5s
Code Quality Checks	4m 26s
Code Quality Checks	4m 26s
Docker Tests	13m 50s
Docker Tests	13m 50s
Integration Tests (legacy)	1h 29m 50s
Integration Tests (legacy)	2h 53m 44s
Profiling (legacy)	15m 28s
Profiling (legacy)	15m 28s
Unit Tests	3m 43s
Unit Tests	3m 43s
Integration Tests (booster)	1h 13m 16s
Integration Tests (booster)	1h 13m 16s
Profiling (booster)	13m 13s
Profiling (booster)	13m 13s
	8h 31m 36s