chore: pnpm

reaslab · Dec 17, 2023 · e75778d · e75778d
1 parent 64a1a3e
commit e75778d
Show file tree

Hide file tree

Showing 6 changed files with 3,205 additions and 9,857 deletions.
diff --git a/.github/workflows/on-push.yml b/.github/workflows/on-push.yml
@@ -33,82 +33,86 @@ jobs:
         uses: actions/checkout@v2
 
       - name: Setup Node.js
-        uses: actions/setup-node@v2
+        uses: actions/setup-node@v3
         with:
-          node-version: '16'
+          node-version: '21'
         if: matrix.os == 'windows-latest'
 
-      - name: Build
-        run: |
-          npm ci
-          npx lerna bootstrap --ci
-          npm run build
-
-      - name: Package
-        run: npx lerna run --scope=lean4 package
-        if: ${{ !startsWith(github.ref, 'refs/tags/v') || !endsWith(github.ref, '-pre') }}
-
-      - name: Package pre-release
-        run: npx lerna run --scope=lean4 packagePreRelease
-        if: ${{ startsWith(github.ref, 'refs/tags/v') && endsWith(github.ref, '-pre') }}
-
-      - name: Upload artifact
-        uses: actions/upload-artifact@v2
-        if: matrix.os == 'ubuntu-latest'
-        with:
-          name: vscode-lean4
-          path: 'vscode-lean4/lean4-*.vsix'
-
-      - name: Publish packaged extension
-        if: ${{ startsWith(github.ref, 'refs/tags/v') && !endsWith(github.ref, '-pre') && matrix.os == 'ubuntu-latest' }}
-        run: |
-          cd vscode-lean4
-          npx @vscode/vsce publish -i lean4-*.vsix
-          npx ovsx publish lean4-*.vsix
-        env:
-          OVSX_PAT: ${{ secrets.OVSX_PAT }}
-          VSCE_PAT: ${{ secrets.VSCE_PAT }}
-
-      - name: Publish packaged pre-release extension
-        if: ${{ startsWith(github.ref, 'refs/tags/v') && endsWith(github.ref, '-pre') && matrix.os == 'ubuntu-latest' }}
-        run: |
-          cd vscode-lean4
-          npx @vscode/vsce publish --pre-release -i lean4-*.vsix
-          npx ovsx publish --pre-release lean4-*.vsix
-        env:
-          OVSX_PAT: ${{ secrets.OVSX_PAT }}
-          VSCE_PAT: ${{ secrets.VSCE_PAT }}
-
-      - name: Upload extension as release
-        if: startsWith(github.ref, 'refs/tags/v') && matrix.os == 'ubuntu-latest'
-        uses: softprops/action-gh-release@v1
+      - uses: pnpm/action-setup@v2
         with:
-          files: 'vscode-lean4/lean4-*.vsix'
-          fail_on_unmatched_files: true
-          prerelease: ${{ endsWith(github.ref, '-pre') }}
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          version: 8
+          run_install: false
 
-      - name: Lint
-        run: npm run lint
-
-      - name: Install Brew Packages
-        run: |
-          brew install ccache tree zstd coreutils
-        if: matrix.os == 'macos-latest'
-
-      - name: Set path to elan on Linux or macOS
-        if: matrix.os == 'ubuntu-latest' || matrix.os == 'macos-latest'
-        run: |
-          echo "$HOME/.elan/bin" >> $GITHUB_PATH
-
-      - name: Set path to elan on Windows
-        shell: pwsh
-        if: matrix.os == 'windows-latest'
+      - name: Build
         run: |
-          echo "$HOME\.elan\bin" >> $env:GITHUB_PATH
-
-      - name: Run tests
-        uses: GabrielBB/[email protected]
-        with:
-          run: npm run test
+          pnpm i
+          pnpm -r build
+
+      # - name: Package
+      #   run: npx lerna run --scope=lean4 package
+      #   if: ${{ !startsWith(github.ref, 'refs/tags/v') || !endsWith(github.ref, '-pre') }}
+
+      # - name: Package pre-release
+      #   run: npx lerna run --scope=lean4 packagePreRelease
+      #   if: ${{ startsWith(github.ref, 'refs/tags/v') && endsWith(github.ref, '-pre') }}
+
+      # - name: Upload artifact
+      #   uses: actions/upload-artifact@v2
+      #   if: matrix.os == 'ubuntu-latest'
+      #   with:
+      #     name: vscode-lean4
+      #     path: 'vscode-lean4/lean4-*.vsix'
+
+      # - name: Publish packaged extension
+      #   if: ${{ startsWith(github.ref, 'refs/tags/v') && !endsWith(github.ref, '-pre') && matrix.os == 'ubuntu-latest' }}
+      #   run: |
+      #     cd vscode-lean4
+      #     npx @vscode/vsce publish -i lean4-*.vsix
+      #     npx ovsx publish lean4-*.vsix
+      #   env:
+      #     OVSX_PAT: ${{ secrets.OVSX_PAT }}
+      #     VSCE_PAT: ${{ secrets.VSCE_PAT }}
+
+      # - name: Publish packaged pre-release extension
+      #   if: ${{ startsWith(github.ref, 'refs/tags/v') && endsWith(github.ref, '-pre') && matrix.os == 'ubuntu-latest' }}
+      #   run: |
+      #     cd vscode-lean4
+      #     npx @vscode/vsce publish --pre-release -i lean4-*.vsix
+      #     npx ovsx publish --pre-release lean4-*.vsix
+      #   env:
+      #     OVSX_PAT: ${{ secrets.OVSX_PAT }}
+      #     VSCE_PAT: ${{ secrets.VSCE_PAT }}
+
+      # - name: Upload extension as release
+      #   if: startsWith(github.ref, 'refs/tags/v') && matrix.os == 'ubuntu-latest'
+      #   uses: softprops/action-gh-release@v1
+      #   with:
+      #     files: 'vscode-lean4/lean4-*.vsix'
+      #     fail_on_unmatched_files: true
+      #     prerelease: ${{ endsWith(github.ref, '-pre') }}
+      #   env:
+      #     GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+      # - name: Lint
+      #   run: npm run lint
+
+      # - name: Install Brew Packages
+      #   run: |
+      #     brew install ccache tree zstd coreutils
+      #   if: matrix.os == 'macos-latest'
+
+      # - name: Set path to elan on Linux or macOS
+      #   if: matrix.os == 'ubuntu-latest' || matrix.os == 'macos-latest'
+      #   run: |
+      #     echo "$HOME/.elan/bin" >> $GITHUB_PATH
+
+      # - name: Set path to elan on Windows
+      #   shell: pwsh
+      #   if: matrix.os == 'windows-latest'
+      #   run: |
+      #     echo "$HOME\.elan\bin" >> $env:GITHUB_PATH
+
+      # - name: Run tests
+      #   uses: GabrielBB/[email protected]
+      #   with:
+      #     run: npm run test