MarcoFalke fa68dcb207

ci: Add missing errexit to lint CI install ...

Otherwise, a possible failure is silently ignored.

Also, rename the file, while touching it, to clarify installing is the
first step.

2025-06-18 14:11:11 +02:00

..

01_install.sh

ci: Add missing errexit to lint CI install

2025-06-18 14:11:11 +02:00

06_script.sh

ci: Slim down lint image

2025-04-11 18:56:46 +02:00

container-entrypoint.sh

ci: Slim down lint image

2025-04-11 18:56:46 +02:00