Build and Test

Make thread pool has at leat one core thread, but allow for a timeout #371

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checker-framework	31s
lint	30s
test (ubuntu-latest, 21)	5m 38s
test (ubuntu-latest, 11)	5m 46s
test (macos-latest, jdk, 11)	26m 1s
test (macos-latest, fsevents, 21)	18m 54s
test (macos-latest, jdk, 21)	19m 22s
test (macos-13, fsevents, 21)	17m 5s
test (macos-13, fsevents, 11)	16m 38s
test (windows-latest, 21)	21m 35s
test (windows-latest, 11)	21m 19s
test (macos-latest, fsevents, 11)	18m 47s
	2h 52m 6s