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