Rename extension filename before upload

Signed-off-by: Federico Ponzi <[email protected]>

Author: FedericoPonzi

.github/workflows/ci.yml

@@ -34,9 +34,12 @@ jobs:
       run: xvfb-run --auto-servernum npm test --silent
     - name: Test TLA+ Grammar
       run: npm run test:tlaplus-grammar
+    - name: Rename artifact
+      if: matrix.os == 'ubuntu-latest'
+      run: mv vscode-ide-*.vsix vscode-tlaplus-$(git log -1 --format=%cd --date="format:%Y.%-m.%-d%H%M").vsix
     - name: Upload artifact
       if: matrix.os == 'ubuntu-latest'
       uses: actions/upload-artifact@v4
       with:
         name: vscode-tlaplus-ci.vsix
-        path: ${{ github.workspace }}/vscode-ide-*.vsix
+        path: ${{ github.workspace }}/vscode-tlaplus-*.vsix

.github/workflows/release.yml

@@ -68,7 +68,7 @@ jobs:
       continue-on-error: true
       uses: actions/upload-artifact@v4
       with:
-          name: vscode-ide-1.7.0.vsix
+          name: vscode-tlaplus-release-1.7.0.vsix
           path: |
             *.vsix
     - name: Publish to Open VSX