Michael Jerger
|
9c44bebd5d
|
use the new image_naming
|
1 year ago |
Michael Jerger
|
17a2d1338a
|
use the new build also in pipeline
|
1 year ago |
Michael Jerger
|
69ddcbbf7b
|
adjust image builds to new build-version
|
1 year ago |
Michael Jerger
|
325c9d477f
|
rename docker -> image & introduce domain sub-ns
|
1 year ago |
bom
|
a3c5129cea
|
switched ordering
|
2 years ago |
bom
|
91571d5dc7
|
updated ci and build scripts
|
2 years ago |
jem
|
5598bc1660
|
adjust required version
|
3 years ago |
jem
|
2d0b32b01a
|
update to new versions & rename docker-image
|
3 years ago |