tests

Fix two more divide-by-zero bugs found by the formalization audit #998

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run-tests-windows (3.13)	2m 13s
run-tests (ubuntu-latest, 3.12)	4m 23s
run-tests (ubuntu-latest, 3.9)	4m 23s
run-tests (ubuntu-latest, 3.10)	4m 24s
run-tests (ubuntu-latest, 3.13)	4m 23s
run-tests (ubuntu-latest, 3.13t)	4m 22s
run-tests-windows (3.11)	2m 4s
run-tests (macos-latest, 3.9)	4m 27s
run-tests (ubuntu-latest, 3.14)	4m 23s
run-tests (ubuntu-latest, 3.11)	4m 23s
run-tests (macos-latest, 3.11)	4m 25s
run-tests (macos-latest, 3.13)	4m 26s
run-tests (macos-latest, 3.14)	4m 10s
run-tests (ubuntu-latest, 3.14t)	4m 23s
run-tests (macos-latest, 3.14t)	4m 18s
run-tests (macos-latest, 3.13t)	4m 26s
run-tests (macos-latest, 3.10)	4m 10s
run-tests (macos-latest, 3.12)	4m 10s
	1h 13m 53s