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