fix: Add CI status and change build-check to ci

Align zenoh-pico with the rest of the zenoh ecosystem in terms of CI,
 - rename build-check.yml to ci.yml
 - Include CI status check to ci.yml

.github/workflows/build-check.yaml → .github/workflows/ci.yml

@@ -11,7 +11,7 @@
 # Contributors:
 #   ZettaScale Zenoh Team, <[email protected]>
 #
-name: build-check
+name: CI
 
 on:
   push:
@@ -295,3 +295,17 @@ jobs:
           CMAKE_GENERATOR=Ninja ASAN=ON make
           python3 ./build/tests/no_router.py
         timeout-minutes: 5
+
+  # NOTE: In GitHub repository settings, the "Require status checks to pass
+  # before merging" branch protection rule ensures that commits are only merged
+  # from branches where specific status checks have passed. These checks are
+  # specified manually as a list of workflow job names. Thus we use this extra
+  # job to signal whether all CI checks have passed.
+  ci:
+    name: CI status checks
+    runs-on: ubuntu-latest
+    needs: [run_tests, check_format, c99_build, raweth_build, zenoh_build, modular_build, unstable_build, st_build, fragment_test, attachment_test, memory_leak_test, no_router]
+    if: always()
+    steps:
+      - name: Check whether all jobs pass
+        run: echo '${{ toJson(needs) }}' | jq -e 'all(.result == "success")'