pr-genfile-checker

Fix and modernize release workflows, complete ghcr.io migration, and parameterize jobs for easy fork usage #3227

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
get-dev-image / get-image	8s
run-genfiles	5m 42s
	5m 50s