GitHub CI

Update devel to 20250212, commit c3ca11424d2ae66cafa2f931b008dfb728e2… #637

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Generate Jobs	34s
devel-20250212	4m 11s
5.3-beta	2m 43s
5.2.37	2m 40s
5.1.16	4m 20s
5.0.18	10m 49s
4.4.23	7m 11s
4.3.48	10m 35s
4.2.53	2m 45s
4.1.17	10m 39s
4.0.44	11m 14s
3.2.57	2m 25s
3.1.23	10m 51s
3.0.22	7m 44s
	1h 28m 41s