predicators

Merge branch 'master' of github.com:Learning-and-Intelligent-Systems/… #8860

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint (3.8)	5m 4s
unit-tests (3.8)	6m 22s
docformatter (3.8)	13s
isort (3.8)	10s
static-type-checking (3.8)	8m 33s
yapf (3.8)	1m 8s
	21m 30s