Add missing line in action.

CHERIoT-Platform · Oct 17, 2023 · 6ebbbe6 · 6ebbbe6
1 parent b7be953
commit 6ebbbe6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -61,3 +61,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
+        uses: actions/deploy-pages@v2