Test PR

Update dependency: deps/z3 #10674

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	38s
Profiling	35s
Conformance Tests	12m 44s
Nix (normal)	8m 26s
Nix (macos-13)	28m 56s
Unit Tests	22s
Proofs: Rules (booster)	55m 47s
Proofs: Rules (booster-dev)	12m 46s
Nix (ARM64)	5m 15s
Proofs: Functional	41m 17s
Proofs: Optimizations	5m 1s
Proofs: DSS	20m 30s
	3h 12m 17s