7 Commits (1994c7553b25bc9149bc2c526c785aa23b7cfa5f)

Author	SHA1	Message	Date
Nils Dijk	807a4d602c	document what the concurency does in devcontainer builds	2023-10-09 13:51:33 +02:00
Nils Dijk	b21c57c8ca	cancel concurrent builds of devcontainers for the same branch	2023-10-09 13:51:33 +02:00
Nils Dijk	e8a4cf4a20	workflow for devcontainer trigger on anybranch	2023-10-09 13:51:33 +02:00
Nils Dijk	64c8b2d43f	maintenance	2023-10-09 13:51:33 +02:00
Nils Dijk	0ca97d0555	only build when devcontainer spec changes + use branch build	2023-10-09 13:51:33 +02:00
Nils Dijk	ff806b58b2	run when pushing the devcontainer branch	2023-10-09 13:51:33 +02:00
Nils Dijk	7e7d6d5caf	github action for building container, using cache	2023-10-09 13:51:33 +02:00