CI

cleaned up the code some more #1246

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_devcontainer / build	1m 9s
test	24m 26s
lint	1m 21s
javascript-dodona	25m 9s
types	1m 27s
	53m 32s