Repository navigation
v0.1.599: RISC-V takes int and bool Map keys, a local let rec group, … #861
This file contains hidden or 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: Pages | |
| on: | |
| push: | |
| branches: [main] | |
| workflow_dispatch: | |
| # Required for GitHub Pages deploy via the official actions. | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| # Only one Pages deploy at a time. Cancel in-progress on push but let | |
| # the active one finish (so a half-deployed site isn't left behind). | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: false | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v5 | |
| - name: Set up OCaml | |
| uses: ocaml/setup-ocaml@v3 | |
| with: | |
| ocaml-compiler: "5.1" | |
| - name: Install dependencies | |
| run: opam install . --deps-only | |
| - name: Install wabt (wat2wasm) | |
| run: sudo apt-get update && sudo apt-get install -y wabt | |
| # binaryen as well, because build_full.sh runs wasm-opt -Oz: without it | |
| # the DEPLOYED site would ship modules a third larger than the ones CI | |
| # measures in scripts/wasm_size_check.sh. Two pipelines, one artifact, so | |
| # the same pinned version as ci.yml -- apt's 108 cannot read these modules | |
| # at all, and an unpinned optimizer would make the deployed bytes drift | |
| # away from the recorded ones without anything saying so. | |
| - name: Install binaryen (wasm-opt), pinned as in ci.yml | |
| run: | | |
| set -e | |
| BINARYEN=132 | |
| mkdir -p "$HOME/.local/bin" | |
| curl -sSfL "https://github.com/WebAssembly/binaryen/releases/download/version_${BINARYEN}/binaryen-version_${BINARYEN}-x86_64-linux.tar.gz" \ | |
| | tar -xz -C /tmp | |
| install "/tmp/binaryen-version_${BINARYEN}/bin/wasm-opt" "$HOME/.local/bin/" | |
| echo "$HOME/.local/bin" >> "$GITHUB_PATH" | |
| - name: Build mere | |
| run: opam exec -- dune build | |
| - name: Build docs site (mere SSG + wat2wasm) | |
| run: opam exec -- sh contrib/site/build_full.sh docs _site | |
| - name: Upload Pages artifact | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: _site | |
| deploy: | |
| needs: build | |
| runs-on: ubuntu-latest | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |