Test PR

Update dependency: deps/k_release #11011

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	38s
Code Quality Checks	38s
Conformance Tests	15m 16s
Conformance Tests	15m 16s
Unit Tests	23s
Unit Tests	23s
Profiling	37s
Profiling	37s
Proofs: Rules (booster)	55m 58s
Proofs: Rules (booster)	55m 58s
Proofs: Rules (booster-dev)	9m 10s
Proofs: Rules (booster-dev)	9m 10s
Nix (normal)	12m 21s
Nix (normal)	12m 21s
Proofs: Functional	45m 16s
Proofs: Functional	25m 23s
Nix (ARM64)	8m 26s
Nix (ARM64)	8m 26s
Proofs: Optimizations	7m 28s
Proofs: Optimizations	7m 28s
Proofs: Summarization	11m 33s
Proofs: Summarization	11m 33s
Proofs: DSS	23m 14s
Proofs: DSS	23m 14s
	6h 0m 47s