CI

Flip the default for OpenGrok automatic redirects to `true` #107

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-lint-test	45s
deploy-demo (neogrok)	2m 18s
deploy-demo (zoekt)	3m 47s
release	14s
	7m 4s