GitHub CI

Update devel to 20240628, commit 5e28a1813ce7d08628c8df584ea36515091c… #542

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Generate Jobs	33s
devel-20240628	1m 0s
5.3-alpha	1m 7s
5.2.26	1m 15s
5.1.16	1m 0s
5.0.18	1m 17s
4.4.23	1m 1s
4.3.48	1m 3s
4.2.53	1m 0s
4.1.17	1m 5s
4.0.44	1m 38s
3.2.57	1m 56s
3.1.23	2m 5s
3.0.22	2m 11s
	18m 11s