Kugel Fuhr fa81f14cbf Add an explicit "exit 0" to the shell scripts. This worked more or less by ...

coincidence before since shell scripts return the exit code of the last
command run if there is no explicit exit statement.

2025-06-25 20:34:41 +02:00

..

checks

Add an explicit "exit 0" to the shell scripts. This worked more or less by

2025-06-25 20:34:41 +02:00

workflows

Merge branch 'master' into checksorted

2025-06-12 23:33:12 +02:00