Test PR

Updates to the driver.md GST handler #10703

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	37s
Profiling	44s
Unit Tests	23s
Conformance Tests	18m 39s
Nix (normal)	12m 12s
Nix (macos-13)	18m 38s
Proofs: Rules (booster)	7m 50s
Nix (ARM64)	5m 17s
Proofs: Rules (booster-dev)	6m 27s
Proofs: Functional	9m 17s
Proofs: Optimizations	4m 52s
Proofs: DSS	15m 6s
	1h 40m 2s