Robert Schmidt
961981f456
CI: make docker volume always succeed in startup
...
Some CI users (OAI developers) expressed that the warning of the `docker
volume prune` before starting RFsim is confusing. To avoid the warning in
the HTML, force the removal; if the volume does not exist, no warning is
emitted.
To still catch possible problems, do not do this in the `terminate.xml`
so we might still see if there are other problems.
2024-03-05 08:30:26 +01:00
..
2023-12-20 13:20:21 +01:00
2024-02-12 12:04:55 +01:00
2024-01-24 14:56:02 +01:00
2024-02-23 16:05:38 +01:00
2023-02-06 16:55:04 +01:00
2024-03-05 08:30:26 +01:00
2024-02-28 15:53:46 +01:00
2023-05-30 14:47:04 +02:00
2023-02-23 17:38:10 +01:00
2023-02-23 17:38:10 +01:00
2022-11-30 14:30:18 +01:00
2023-02-23 17:37:31 +01:00
2023-02-24 18:19:36 +01:00
2024-02-23 16:05:38 +01:00
2024-02-08 16:01:10 +01:00
2023-07-03 14:37:23 +02:00
2024-02-08 16:01:10 +01:00
2023-07-03 14:42:31 +02:00
2024-02-12 12:04:55 +01:00
2023-10-25 14:17:58 +02:00
2023-09-25 15:14:21 +02:00
2023-09-01 14:30:04 +02:00
2023-08-31 16:59:16 +02:00
2024-02-12 18:29:53 +01:00
2024-02-12 18:29:53 +01:00
2024-02-12 18:29:53 +01:00
2024-02-12 18:29:53 +01:00
2024-02-12 18:29:53 +01:00
2023-08-04 13:05:06 +02:00
2023-09-18 15:09:30 +02:00
2023-05-30 14:47:04 +02:00
2023-10-02 13:26:26 +02:00
2023-10-23 20:29:26 +02:00
2023-10-02 13:26:26 +02:00
2023-10-02 13:26:26 +02:00
2023-05-04 10:34:02 +02:00
2023-10-02 13:26:26 +02:00
2023-10-02 13:26:26 +02:00
2023-07-21 13:12:29 +02:00
2023-10-02 13:26:26 +02:00
2023-07-21 13:12:29 +02:00
2024-01-29 12:51:20 +01:00
2023-02-23 17:38:10 +01:00
2023-02-23 17:38:10 +01:00
2024-02-12 12:04:55 +01:00
2024-02-12 12:04:55 +01:00
2024-01-29 12:51:20 +01:00