diff --git a/.github/workflows/build-check.yaml b/.github/workflows/ci.yml similarity index 91% rename from .github/workflows/build-check.yaml rename to .github/workflows/ci.yml index c83c2c969..864732ade 100644 --- a/.github/workflows/build-check.yaml +++ b/.github/workflows/ci.yml @@ -11,7 +11,7 @@ # Contributors: # ZettaScale Zenoh Team, # -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")'