Allow manual recording runs on GitHub

NiclasvanEyk · Jun 11, 2023 · be1cb7a · be1cb7a
1 parent 36359ac
commit be1cb7a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/record_and_publish_demos.yml b/.github/workflows/record_and_publish_demos.yml
@@ -4,6 +4,8 @@ on:
   push:
     branches: [$default-branch]
 
+  workflow_dispatch:
+
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
   contents: read
@@ -37,7 +39,7 @@ jobs:
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v1
         with:
-          path: "tapes/recordings"
+          path: rtapes/recordings"
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v2