Run tests

Remove global `Flint*` objects #3150

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (1.6, ubuntu-latest)	11m 24s
test (1.10, ubuntu-latest)	12m 33s
Documentation	16m 34s
test (1.11, ubuntu-latest)	14m 39s
test (nightly, ubuntu-latest)	13m 32s
test (1.10, macOS-latest)	7m 29s
test (1.10, windows-latest)	15m 31s
	1h 31m 42s