Use quoted identifiers in wasmprinter by default (#1615)
#1
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: Build playground | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| merge_group: | |
| # Cancel any in-flight jobs for the same PR/branch so there's only one active | |
| # at a time | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| defaults: | |
| run: | |
| shell: bash | |
| jobs: | |
| build: | |
| name: Build playground deployment | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: true | |
| - uses: actions/setup-node@v4 | |
| with: | |
| node-version: 20 | |
| - uses: bytecodealliance/wasmtime/.github/actions/[email protected] | |
| - uses: cargo-bins/[email protected] | |
| - run: cargo binstall cargo-component -y | |
| - run: rustup component add rustfmt # needed for cargo-component, apparently? | |
| - run: npm ci | |
| working-directory: playground | |
| - run: npm run build | |
| working-directory: playground | |
| # also prepare to deploy GH pages on main | |
| - if: github.ref == 'refs/heads/main' | |
| uses: actions/configure-pages@v5 | |
| - if: github.ref == 'refs/heads/main' | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: "./playground/dist" | |
| deploy: | |
| name: Deploy playground | |
| if: github.ref == 'refs/heads/main' | |
| needs: build | |
| permissions: | |
| pages: write | |
| id-token: write | |
| runs-on: ubuntu-latest | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - id: deployment | |
| uses: actions/deploy-pages@v4 |