|
|
902876e53f
|
script to build locally if needed
|
2025-11-11 23:04:09 +01:00 |
|
|
|
6899a79ce5
|
Convert to Jenkins Pipeline
|
2024-01-18 17:53:31 +01:00 |
|
|
|
88d14916af
|
added extra docker tag
|
2023-04-09 18:10:14 +02:00 |
|
|
|
1cb8d65615
|
Introduce new container registry
|
2023-04-07 11:42:09 +02:00 |
|
|
|
eeb5f95f91
|
Improved build and run
|
2022-12-08 15:18:19 +01:00 |
|
|
|
311d53c32a
|
Don’t clear workdir
|
2022-12-02 16:25:06 +01:00 |
|
|
|
012fece39c
|
Docker image tag must be lowercase
|
2022-12-02 16:22:13 +01:00 |
|
|
|
d0331b7cd9
|
Build with docker now (first try)
|
2022-12-02 16:20:49 +01:00 |
|
|
|
f6d3d2d0de
|
First commit
|
2022-12-02 16:07:32 +01:00 |
|
