MarcoFalke ffff4b5dc5 lint: Add missing set -ex to ci/lint/06_script.sh ...

This is needed for the container-entrypoint.sh

Also, remove unused `source` from ci/lint_run_all.sh, since it is the
last step.

2023-07-19 11:39:50 +02:00

..

04_install.sh

ci: Use DOCKER_BUILDKIT for lint image

2023-07-16 13:18:18 +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