4 commits

Author	SHA1	Message	Date
MarcoFalke	fa9ad59f87	lint: Use $CI_RETRY_EXE when building ./ci/lint_imagefile ... Previous code was confusing and brittle. For example, the full import "source ./ci/test/00_setup_env.sh" and $PATH overwrite was not needed. Fix it by simply copying the exe to /ci_retry and use that in $CI_RETRY_EXE. This is also a fix, because previously ci/lint_imagefile did use an empty $CI_RETRY_EXE.	2024-07-22 13:20:24 +02:00
MarcoFalke	fa01f884d3	ci: Add missing COPY for ./test/lint/test_runner	2023-11-13 18:10:51 +01:00
MarcoFalke	fadc5232f4	doc: Add doc comment to ci/test_imagefile ... (Similar to the doc comment in ci/lint_imagefile) Also, rename docker-entrypoint.sh to container-entrypoint.sh Also, add copyright header to touched files.	2023-07-19 11:27:28 +02:00
MarcoFalke	fa2f18ad8e	ci: Use DOCKER_BUILDKIT for lint image ... Can be reviewed with: --color-moved=dimmed-zebra --ignore-all-space	2023-07-16 13:18:18 +02:00