Test PR

Updates to the driver.md GST handler #10710

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
Profiling	38s
Profiling	38s
Conformance Tests	10m 2s
Conformance Tests	10m 2s
Unit Tests	23s
Unit Tests	23s
Nix (normal)	6m 29s
Nix (normal)	6m 29s
Nix (macos-13)	27m 48s
Nix (macos-13)	27m 48s
Proofs: Rules (booster)	45m 54s
Proofs: Rules (booster)	45m 54s
Nix (ARM64)	5m 43s
Nix (ARM64)	5m 43s
Proofs: Rules (booster-dev)	8m 49s
Proofs: Rules (booster-dev)	8m 49s
Proofs: Functional	45m 13s
Proofs: Functional	22m 49s
Proofs: Optimizations	4m 57s
Proofs: Optimizations	4m 57s
Proofs: DSS	24m 37s
Proofs: DSS	24m 37s
	5h 39m 58s