GitHub CI

Add `pit` profile. #1947

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
on ubuntu-latest with JDK 17	1m 8s
on ubuntu-latest with JDK 21	3m 11s
on macos-latest with JDK 17	3m 38s
on macos-latest with JDK 21	2m 45s
on windows-latest with JDK 17	3m 1s
on windows-latest with JDK 21	4m 22s
	18m 5s