predicators

working on a test for cup emptiness: for testing belief operators seq… #2430

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
static-type-checking (3.10.14)	3m 16s
isort (3.10.14)	16s
docformatter (3.10.14)	21s
lint (3.10.14)	7m 6s
unit-tests (3.10.14)	3m 31s
yapf (3.10.14)	58s
	15m 28s