 Robert Schmidt
|
965b7f63b0
|
Dockerfiles: correct ENV format
Avoid docker warning:
- LegacyKeyValueFormat: "ENV key=value" should be used instead of legacy "ENV key value" format
|
2024-08-01 08:20:33 +02:00 |
|
|
Raphael Defosseux
|
a227eb7720
|
chore(ci): some docker improvements
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
|
2024-04-04 14:22:26 +02:00 |
|
|
Robert Schmidt
|
d7c3806f13
|
Use tini as init in all containers
- Print problems, e.g., segfault
- Handle signals and zombie processes properly
|
2024-03-05 11:02:38 +01:00 |
|
|
Raphael Defosseux
|
26eda2f25c
|
fix(build): migrating rocky dockerfiles to Rocky-linux-9 to ease maintenance
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
|
2024-01-16 14:09:08 +01:00 |
|
|
Raphael Defosseux
|
b75d95626e
|
chore(build): adding docker support for rocky-linux
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
|
2023-05-04 10:27:11 +02:00 |
|