5 commits

Author	SHA1	Message	Date
stickies-v	ce1699706e	ci: add label to docker images ... This allows us or the user to perform batch operations on all images produced by the ci, e.g. to prune all dangling images, without affecting non-ci images.	2023-10-13 10:17:21 +01:00
MarcoFalke	fa2c894cbb	ci: move-only CI_CONTAINER_ID to 02_run_container.sh ... This limits the scope of the CI_CONTAINER_ID symbol. Can be reviewed with --color-moved=dimmed-zebra	2023-10-09 16:17:04 +02:00
MarcoFalke	fa695b4df0	ci: Work around podman stop bug ... Force remove any containers, pontentially leaving dangling processes, which should be fine.	2023-10-09 16:16:55 +02:00
MarcoFalke	fa09a031c1	ci: Add set -ex to 02_run_container.sh ... The same is done by the 06 script.	2023-10-09 16:16:41 +02:00
MarcoFalke	fac9abbf47	ci: Rename 04_install to 02_run_container ... This reflects what the script does (docker run ...).	2023-10-09 16:16:22 +02:00

Renamed from ci/test/04_install.sh (Browse further)