GitHub CI

Use `pull_request_target` for CodeQL workflow. #823

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
on ubuntu-latest with JDK 17	1m 21s
on ubuntu-latest with JDK 21	1m 8s
on macos-latest with JDK 17	2m 13s
on macos-latest with JDK 21	2m 34s
on windows-latest with JDK 17	1m 48s
on windows-latest with JDK 21	1m 58s
	11m 2s