.github/workflows/tests.yml

Improved mechanism for --proof #1099

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (windows-latest, 3.14)	16m 14s
build (macos-latest, 3.8)	13m 20s
build (ubuntu-latest, pypy-2.7)	13m 5s
	42m 39s