CI

Involution implies Noncontradiction and ExcludedMiddle #1950

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	7m 16s
compile (17, JVM)	7m 48s
compile (17, JS)	8m 5s
publishLocal	7m 55s
compile (17, Native)	7m 54s
test (2.12.*, 17, JVM)	4m 35s
testJvms (8, JVM)	3m 41s
test (2.13.*, 17, JVM)	4m 22s
test (3.*, 17, JVM)	2m 33s
testJvms (11, JVM)	4m 21s
testPlatforms (17, JS)	10m 52s
Update README	0s
testPlatforms (17, Native)	15m 38s
ci	1s
publish	0s
Release Docs	0s
Notify Docs Release	0s
	1h 25m 1s