Build and release

chore: Fix GitHub URL in `github-pr-comment` #1944

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	2m 20s
publishPages	12s
native-image-win	5m 22s
native-image-linux	4m 40s
native-image-mac	4m 42s
docker-linux	35s
docker-win	1m 36s
combine-artifacts	13s
release	36s
	20m 16s