github: code namespace needed by deploy action

The reference `needs.code.outputs.xml` needs the `code` namespace to exist, so we need to include `code` even though `test` already depends on `code`. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 11, 2022 · 359f4fd · 359f4fd
1 parent 90b6315
commit 359f4fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -70,7 +70,7 @@ jobs:
     name: Deploy manifest
     if: ${{ github.repository_owner == 'seL4' && github.event_name != 'pull_request' }}
     runs-on: ubuntu-latest
-    needs: test
+    needs: [test, code]
     steps:
     - name: Deploy
       uses: seL4/ci-actions/manifest-deploy@master