Update devel to 20230913, commit 94bce520e8ab78262fcf693b685070779e41… #432

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Generate Jobs	58s
devel-20230913	1m 12s
5.2.15	1m 16s
5.1.16	1m 27s
5.0.18	1m 32s
4.4.23	1m 10s
4.3.48	1m 12s
4.2.53	1m 4s
4.1.17	1m 25s
4.0.44	1m 52s
3.2.57	2m 25s
3.1.23	2m 21s
3.0.22	2m 21s
	20m 15s