2 Commits (ff806b58b2736bf3fa8deef6f046487df717c4e6)

Author	SHA1	Message	Date
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