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
Robert Schmidt	e6dd524099	Upgrade to UHD 4.4 in all container images	2023-02-20 15:59:01 +01:00
Robert Schmidt	192a24c434	Docker images: Upgrade Ubuntu 18->20	2023-02-20 15:59:01 +01:00