Add project commands, command menu and walkthrough #1909
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: vscode-lean4 build | |
| on: | |
| pull_request: | |
| branches: | |
| - '*' | |
| push: | |
| branches: | |
| - '*' | |
| tags: | |
| - '*' | |
| jobs: | |
| build-and-test: | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| include: | |
| - name: Linux | |
| os: ubuntu-latest | |
| artifact: build-Linux release | |
| # - name: macOS | |
| # os: macos-latest | |
| # artifact: build-macOS | |
| - name: Windows | |
| os: windows-latest | |
| artifact: build-Windows | |
| name: ${{ matrix.name }} | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| - name: Setup Node.js | |
| uses: actions/setup-node@v2 | |
| with: | |
| node-version: '16' | |
| if: matrix.os == 'windows-latest' | |
| - name: Build | |
| run: | | |
| npm ci | |
| npx lerna bootstrap --ci | |
| npm run build | |
| npx lerna run --scope=lean4 package | |
| - 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') && matrix.os == 'ubuntu-latest' | |
| run: | | |
| cd vscode-lean4 | |
| npx vsce publish -i lean4-*.vsix | |
| npx ovsx publish 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 | |
| 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 |