GitHub CI

Update devel to 20240406, commit e6795c05dd877334832568a7145f0587ad39… #514

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Generate Jobs	32s
devel-20240406	1m 5s
5.2.26	1m 5s
5.1.16	1m 1s
5.0.18	1m 10s
4.4.23	1m 3s
4.3.48	1m 2s
4.2.53	57s
4.1.17	1m 3s
4.0.44	1m 32s
3.2.57	2m 2s
3.1.23	2m 19s
3.0.22	2m 3s
	16m 54s