Update devel to 20230928, commit 00edd0ee5051cd396c5594290bb21c212a90… #436

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Generate Jobs	49s
devel-20230928	1m 27s
5.2.15	1m 40s
5.1.16	1m 15s
5.0.18	1m 12s
4.4.23	1m 40s
4.3.48	1m 21s
4.2.53	1m 9s
4.1.17	1m 27s
4.0.44	1m 56s
3.2.57	2m 11s
3.1.23	2m 17s
3.0.22	2m 22s
	20m 46s