4 Commits

Include renames

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