CI

Fix empty map being accepted #1158

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_devcontainer / build	1m 10s
lint	1m 33s
test	23m 28s
javascript-dodona	25m 48s
types	1m 25s
	53m 24s