predicators

major update: plot graph of transition system with all possible state… #2436

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint (3.10.14)	7m 18s
isort (3.10.14)	17s
docformatter (3.10.14)	21s
static-type-checking (3.10.14)	3m 1s
unit-tests (3.10.14)	3m 19s
yapf (3.10.14)	57s
	15m 13s