Test PR

Download the fixtures_develop test suite #11373

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	19s
Profiling	24s
Proofs: Rules (booster)	54m 36s
Nix (normal)	17m 47s
Proofs: Functional	35m 25s
Proofs: DSS	43m 28s
Proofs: Summarization	18m 51s
Nix (ARM64)	9m 37s
Proofs: Optimizations	7m 49s
Proofs: Rules (booster-dev)	16m 47s
Unit Tests	16s
Conformance Tests	17m 55s
	3h 43m 14s