wip

coq · Aug 18, 2023 · 84990cd · 84990cd
1 parent 3781884
commit 84990cd
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/cd.yml b/.github/workflows/cd.yml
@@ -58,12 +58,16 @@ jobs:
     - name: Inject slug/short variables
       uses: rlespinasse/github-slug-action@v4
 
+    - uses: webfactory/[email protected]
+      with:
+          ssh-private-key: ${{ secrets.BOT_SSH_KEY }}
+
     - name: Write PAT
       env:
         OPAM_PUBLISH_TOKEN: ${{ secrets.OPAM_PUBLISH_TOKEN }}
       run: |
         mkdir -p ~/.opam/plugins/opam-publish
-        printf "$OPAM_PUBLISH_TOKEN" > ~/.opam/plugins/opam-publish/maximedenes.token
+        printf "$OPAM_PUBLISH_TOKEN" > ~/.opam/plugins/opam-publish/vscoqbot.token
 
     #VERSION_SLUG="${GITHUB_REF_NAME_SLUG#v}"
     #VERSION="${GITHUB_REF_NAME#v}"