Test PR

Support for multimasks in slot updates #10610

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	31s
Profiling	44s
Unit Tests	23s
Conformance Tests	15m 55s
Nix (normal)	9m 42s
Nix (macos-13)	37m 38s
Proofs: Rules (booster)	56m 1s
Nix (ARM64)	5m 23s
Proofs: Rules (booster-dev)	8m 33s
Proofs: Functional	21m 59s
Proofs: Optimizations	4m 54s
Proofs: DSS	22m 58s
	3h 4m 41s