fix: export type #10
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@v3 | |
| with: | |
| node-version: '21' | |
| if: matrix.os == 'windows-latest' | |
| - uses: pnpm/action-setup@v2 | |
| with: | |
| version: 8 | |
| run_install: false | |
| - name: Build | |
| run: | | |
| 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 |