Preserve native curves in demo booleans #59
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: Deploy hypercurve UI to GitHub Pages | |
| on: | |
| push: | |
| branches: | |
| - main | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: false | |
| jobs: | |
| build: | |
| name: Build WASM UI | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Check out repository | |
| uses: actions/checkout@v6 | |
| with: | |
| path: hypercurve | |
| - name: Check out hyperreal sibling | |
| uses: actions/checkout@v6 | |
| with: | |
| repository: ${{ github.repository_owner }}/hyperreal | |
| path: hyperreal | |
| - name: Check out hyperlimit sibling | |
| uses: actions/checkout@v6 | |
| with: | |
| repository: ${{ github.repository_owner }}/hyperlimit | |
| path: hyperlimit | |
| - name: Check out hyperlattice sibling | |
| uses: actions/checkout@v6 | |
| with: | |
| repository: ${{ github.repository_owner }}/hyperlattice | |
| path: hyperlattice | |
| - name: Check out hypersolve sibling | |
| uses: actions/checkout@v6 | |
| with: | |
| repository: ${{ github.repository_owner }}/hypersolve | |
| path: hypersolve | |
| - name: Install Rust | |
| uses: dtolnay/rust-toolchain@stable | |
| with: | |
| targets: wasm32-unknown-unknown | |
| - name: Cache Cargo build output | |
| uses: Swatinem/rust-cache@v2 | |
| with: | |
| workspaces: | | |
| hypercurve -> hypercurve/target | |
| hypercurve/examples/hypercurve_ui -> hypercurve/examples/hypercurve_ui/target | |
| - name: Install Trunk | |
| run: cargo install --locked trunk --version 0.21.14 | |
| - name: Build UI | |
| shell: bash | |
| working-directory: hypercurve/examples/hypercurve_ui | |
| run: | | |
| set -euo pipefail | |
| unset NO_COLOR | |
| if [[ "${{ github.event.repository.name }}" == "${{ github.repository_owner }}.github.io" ]]; then | |
| public_url="/" | |
| else | |
| public_url="/${{ github.event.repository.name }}/" | |
| fi | |
| trunk build index.html \ | |
| --release \ | |
| --dist dist \ | |
| --public-url "${public_url}" | |
| touch dist/.nojekyll | |
| - name: Configure GitHub Pages | |
| uses: actions/configure-pages@v6 | |
| - name: Upload Pages artifact | |
| uses: actions/upload-pages-artifact@v5 | |
| with: | |
| path: hypercurve/examples/hypercurve_ui/dist | |
| deploy: | |
| name: 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@v5 |