From 359f4fd5a14eefd781d3d7793cdced0d57fa962a Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Mon, 11 Jul 2022 12:01:26 +1000
Subject: [PATCH] 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 <gerwin.klein@proofcraft.systems>
---
 .github/workflows/test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 1b5b1242..9e0eefc1 100644
--- 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