GitHub CI

Update devel to 20240711, commit d3e86e66ce857a8dc02e3116fd98b6e5b34d… #547

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Generate Jobs	33s
devel-20240711	1m 5s
5.3-alpha	1m 5s
5.2.26	1m 9s
5.1.16	1m 6s
5.0.18	1m 8s
4.4.23	1m 0s
4.3.48	1m 15s
4.2.53	58s
4.1.17	1m 2s
4.0.44	1m 58s
3.2.57	1m 58s
3.1.23	2m 3s
3.0.22	1m 58s
	18m 18s