Test PR

Support for multimasks in slot updates #10609

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	33s
Profiling	48s
Unit Tests	25s
Conformance Tests	21m 43s
Proofs: Rules (booster)	30m 57s
Proofs: Rules (booster-dev)	8m 20s
Nix (normal)	7m 7s
Proofs: Functional	19m 38s
Nix (macos-13)	34m 11s
Proofs: Optimizations	7m 50s
Nix (ARM64)	5m 26s
Proofs: DSS	22m 35s
	2h 39m 33s