wip

FStarLang · May 14, 2024 · dfd73db · dfd73db
1 parent 4e6543b
commit dfd73db
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -39,6 +39,7 @@ jobs:
       - name: Upload artifact
         uses: actions/upload-artifact@v4
         with:
+          name: fstar-vscode-assistant
           path: |
             *.vsix
             fstar-language-server-*.js
@@ -61,6 +62,8 @@ jobs:
 
       - name: Download artifact from build job
         uses: actions/download-artifact@v4
+        with:
+          name: fstar-vscode-assistant
 
       - name: Azure workload identity federation login
         uses: azure/login@v2