Tim Ruffing d87c3bc58f ci: Fix exiting from ci.sh on error ...

Fixes the following bash error when make fails:
    ./ci/ci.sh: line 100: return: can only `return' from a function or
    sourced script

2025-03-13 12:08:20 +01:00

..

ci.sh

ci: Fix exiting from ci.sh on error

2025-03-13 12:08:20 +01:00

linux-debian.Dockerfile

ci: Run tools/symbol-check.py

2025-03-11 21:59:35 +00:00