Test PR

Fix typo and add missing precompile descriptions to evm.md #10522

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	33s
Unit Tests	23s
Profiling	46s
Conformance Tests	14m 23s
Nix (normal)	11m 54s
Nix (macos-13)	31m 19s
Nix (ARM64)	5m 10s
Proofs: Rules (booster)	58m 13s
Proofs: Rules (booster-dev)	15m 20s
Proofs: Functional	24m 22s
Proofs: Optimizations	11m 26s
Proofs: DSS	37m 42s
	3h 31m 31s