Test PR

Updates to the driver.md GST handler #10705

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	37s
Conformance Tests	19m 5s
Profiling	39s
Nix (normal)	6m 29s
Unit Tests	22s
Nix (macos-13)	27m 23s
Nix (ARM64)	5m 41s
Proofs: Rules (booster)	46m 9s
Proofs: Rules (booster-dev)	15m 8s
Proofs: Functional	23m 51s
Proofs: Optimizations	9m 29s
Proofs: DSS	23m 49s
	2h 58m 42s