CI

Remove some dead code #563

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	19s
ci (9.6.7, gcc, 2025-04-14T00:00:00Z)	1d 0h 0m 0s
ci (9.2.8, gcc, 2025-04-14T00:00:00Z)	1d 0h 0m 0s
ci (9.4.7, gcc, 2025-04-14T00:00:00Z)	1d 0h 0m 0s
	3d 0h 0m 19s