Test PR

Filter GST discarded keys in the Python harness #10681

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	41s
Unit Tests	21s
Conformance Tests	13m 11s
Profiling	37s
Nix (normal)	7m 13s
Nix (macos-13)	20m 51s
Proofs: Rules (booster)	1h 9m 25s
Nix (ARM64)	3m 33s
Proofs: Rules (booster-dev)	13m 32s
Proofs: Functional	45m 14s
Proofs: Optimizations	6m 38s
Proofs: DSS	24m 5s
	3h 25m 21s