Rust Tests

Only require two approvals for changes to `doc/`, `library/` or `verifast-proofs/` #1718

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
upstream_test (macos-latest)	7m 58s
upstream_test (ubuntu-latest)	6m 57s
	14m 55s