CI

Mark states with contradictions as dead (#286) #323

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci-jvm	5m 43s
lint	3m 34s
ci-core	2m 13s
ci-python	6m 32s
ci-ts	2m 22s
	20m 24s