GitHub CI

Use `pull_request_target` for all workflows. #2924

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
on ubuntu-latest with JDK 17	1m 0s
on ubuntu-latest with JDK 21	57s
on macos-latest with JDK 17	48s
on macos-latest with JDK 21	1m 6s
on windows-latest with JDK 17	1m 27s
on windows-latest with JDK 21	1m 23s
	6m 41s