MarcoFalke fa8dcdcc8b ci: Set PATH inside the CI env ... This is needed for the next commit. This also requires dropping CI_RETRY from the docker build step, which is fine, because CI_RETRY should be called inside the build script, not outside. Also, fix a doc typo.		2023-07-24 16:14:24 +02:00
..
04_install.sh	ci: Set PATH inside the CI env	2023-07-24 16:14:24 +02:00
06_script.sh	lint: Add missing set -ex to ci/lint/06_script.sh	2023-07-19 11:39:50 +02:00
container-entrypoint.sh	doc: Add doc comment to ci/test_imagefile	2023-07-19 11:27:28 +02:00