Merge pull request #569 from disneystreaming/build-checkpoint

Add build checkpoint
disneystreaming · Sep 13, 2022 · 44c2ba1 · 44c2ba1
2 parents 95864d0 + 379d086
commit 44c2ba1
Showing 1 changed file with 9 additions and 0 deletions.
diff --git 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