Test PR

Update dependency: deps/k_release #11383

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	18s
Profiling	27s
Nix (normal)	15m 39s
Conformance Tests	27m 35s
Unit Tests	15s
Proofs: Functional	32m 24s
Proofs: Rules (booster)	56m 28s
Nix (ARM64)	7m 49s
Proofs: DSS	40m 8s
Proofs: Rules (booster-dev)	11m 26s
Proofs: Optimizations	7m 22s
Proofs: Summarization	15m 36s
Code Quality Checks	18s
Proofs: Rules (booster-dev)	10m 59s
Proofs: Rules (booster)	56m 28s
Proofs: Optimizations	7m 22s
Conformance Tests	27m 35s
Profiling	27s
Nix (normal)	15m 39s
Nix (ARM64)	7m 49s
Proofs: Summarization	15m 36s
Unit Tests	15s
Proofs: Functional	32m 24s
Proofs: DSS	40m 8s
Code Quality Checks	18s
Proofs: Rules (booster-dev)	11m 27s
Unit Tests	15s
Proofs: Rules (booster)	56m 28s
Proofs: Summarization	15m 36s
Proofs: DSS	40m 8s
Proofs: Functional	32m 24s
Proofs: Optimizations	7m 22s
Nix (ARM64)	7m 49s
Conformance Tests	27m 35s
Profiling	27s
Nix (normal)	15m 39s
Code Quality Checks	21s
Unit Tests	15s
Profiling	30s
Conformance Tests	26m 15s
Nix (ARM64)	27s
Proofs: Rules (booster-dev)	18m 32s
Proofs: Rules (booster)	55m 31s
Nix (normal)	42s
Proofs: Summarization	18m 52s
Proofs: Functional	38m 1s
Proofs: Optimizations	9m 15s
Proofs: DSS	31m 1s
	14h 5m 37s