Python checks

refactor!: remove strict_states, add validate_trap_states and validate_final_reachability #622

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.11)	3m 3s
build (3.13)	3m 28s
build (3.12)	3m 11s
build (3.9)	2m 52s
build (3.10)	2m 57s
build (3.14)	2m 59s
	18m 30s