Run CI without experimental

[FTheoryTools] Minor fixes #3153

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	12m 26s
test (short)	52m 2s
doctest	16m 27s
test (long)	41m 29s
	2h 2m 24s