GitHub CI

Merge pull request #1046 from jnoordsij/add-8.4 #413

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Generate Jobs	31s
8.4.0	2m 42s
8.0.37	2m 36s
8.0.37-bookworm	1m 30s
	7m 19s