Python

simulator: add counterexample minimization #1239

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-requirements	8s
lint	11s
linux (x86_64)	3m 21s
macos-arm64 (aarch64)	2m 29s
sdist	21s
macos-x86_64 (x86_64)	4m 37s
test (ubuntu-latest, 3.9)	1m 37s
test (ubuntu-latest, 3.10)	1m 35s
test (ubuntu-latest, 3.11)	1m 22s
test (ubuntu-latest, 3.12)	1m 34s
test (ubuntu-latest, 3.13)	1m 38s
test (macos-latest, 3.9)	2m 3s
test (macos-latest, 3.10)	1m 46s
test (macos-latest, 3.11)	1m 29s
test (macos-latest, 3.12)	1m 38s
test (macos-latest, 3.13)	1m 20s
test (windows-latest, 3.9)	6m 8s
test (windows-latest, 3.10)	6m 7s
test (windows-latest, 3.11)	5m 42s
test (windows-latest, 3.12)	5m 46s
test (windows-latest, 3.13)	6m 9s
Release	0s
	57m 1s