Back to pull request #1674

Don't use `Flint*` globals #5753

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Documentation	7m 35s
test (1.6, ubuntu-latest)	39m 5s
test (1.10, ubuntu-latest)	39m 38s
test (1.11, ubuntu-latest)	1h 8m 32s
test (nightly, ubuntu-latest)	1h 8m 19s
test (1.10, macOS-latest)	2h 5m 50s
test (1.10, windows-latest)	8m 13s
	5h 57m 12s