diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 63af922c..1dabf1ab 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -54,6 +54,15 @@ jobs: name: compilation-${{env.BUILD_KEY}}.zip path: /tmp/remote-cache + # This is dummy stage to configure github checks in a way + # that is agnostic to the build matrix + build-success-checkpoint: + runs-on: ubuntu-latest + needs: build + steps: + - name: Build matrix completed + run: echo "Build result is a ${{ needs.build.result }}" + documentation: name: Documentation runs-on: ubuntu-latest