Remove global `Flint*` objects #2991

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Documentation	16m 1s
test (1.6, ubuntu-latest)	9m 53s
test (1.10, ubuntu-latest)	10m 36s
test (1.11, ubuntu-latest)	12m 59s
test (nightly, ubuntu-latest)	12m 12s
test (1.10, macOS-latest)	6m 43s
test (1.10, windows-latest)	14m 22s
	1h 22m 46s