5 commits

Author	SHA1	Message	Date
Michael Jerger	325c9d477f	rename docker -> image & introduce domain sub-ns	2023-03-17 17:27:36 +01:00
bom	a3c5129cea	switched ordering	2022-05-20 13:37:48 +02:00
bom	91571d5dc7	updated ci and build scripts	2022-05-20 10:01:53 +02:00
jem	5598bc1660	adjust required version	2021-10-08 17:36:07 +02:00
jem	2d0b32b01a	update to new versions & rename docker-image	2021-03-12 15:43:44 +01:00

Renamed from infrastructure/docker/build.py (Browse further)