update-deployment-repos: Now uses a deployment environment (#16)

ACCESS-NRI · Nov 29, 2023 · fe997a5 · fe997a5
1 parent 4363065
commit fe997a5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/update-deployment-repos.yml b/.github/workflows/update-deployment-repos.yml
@@ -7,6 +7,7 @@ jobs:
   update:
     name: Update
     runs-on: ubuntu-latest
+    environment: "Gadi"
     steps:
       - name: Setup SSH
         id: ssh