Run CI without experimental

TropicalGeometry: new positive tropicalizations #4235

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doctest	16m 32s
test (short)	50m 52s
test (long)	40m 32s
docs	12m 24s
	2h 0m 20s