CI

Update .devcontainer/devcontainer.json #1099

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_devcontainer / build	1m 11s
types	1m 29s
javascript-dodona	25m 5s
lint	1m 27s
test	20m 0s
	49m 12s