forgot girder api key #181 :p [ci skip]

feelpp · Dec 12, 2024 · 9b82dc2 · 9b82dc2
1 parent 0e91697
commit 9b82dc2
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/benchmark_deploy.yml b/.github/workflows/benchmark_deploy.yml
@@ -83,6 +83,8 @@ jobs:
                 source .venv/bin/activate
                 source ./girder_deploy_config.sh
                 girder-move -oid $staging_folder_id -nid $accepted_folder_id
+            env:
+                GIRDER_API_KEY: ${{ secrets.GIRDER }}
     denied:
         if: github.event.pull_request.merged == false && contains(github.event.pull_request.labels.*.name, 'new-benchmark')
         runs-on: self-ubuntu-22.04
@@ -104,4 +106,6 @@ jobs:
                 echo "Moving all folders from staging/ to denied/"
                 source .venv/bin/activate
                 source ./girder_deploy_config.sh
-                girder-move -oid $staging_folder_id -nid $denied_folder_id
+                girder-move -oid $staging_folder_id -nid $denied_folder_id
+            env:
+                GIRDER_API_KEY: ${{ secrets.GIRDER }}