CI

Don't require git to be installed (#633) #5108

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci (9.2.8, gcc, 2025-04-14T00:00:00Z)	32m 17s
ci (9.4.7, gcc, 2025-04-14T00:00:00Z)	32m 1s
ci (9.6.7, gcc, 2025-04-14T00:00:00Z)	31m 46s
vscode	21s
	1h 36m 25s