Merge pull request #23 from azriel91/feature/minor-graphviz-enhancements #68
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
| # Simple workflow for deploying static content to GitHub Pages | |
| name: Deploy static content to Pages | |
| on: | |
| # Runs on pushes targeting the default branch | |
| push: | |
| branches: ["main"] | |
| # Allows you to run this workflow manually from the Actions tab | |
| workflow_dispatch: | |
| # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| # Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. | |
| # However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. | |
| concurrency: | |
| group: "pages" | |
| cancel-in-progress: false | |
| jobs: | |
| # Single deploy job since we're just deploying | |
| deploy: | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: 'Install Rust' | |
| uses: dtolnay/rust-toolchain@master | |
| with: | |
| toolchain: nightly | |
| targets: wasm32-unknown-unknown | |
| - name: cargo-leptos cache | |
| id: cargo-leptos-cache | |
| uses: actions/cache@v3 | |
| with: | |
| path: ~/.cargo/bin/cargo-leptos | |
| key: cargo-leptos-${{ runner.os }} | |
| - name: cargo-leptos install | |
| if: steps.cargo-leptos-cache.outputs.cache-hit != 'true' | |
| run: cargo install cargo-leptos | |
| - name: Setup Pages | |
| uses: actions/configure-pages@v3 | |
| - name: Download and install tailwindcss binary | |
| run: npm install -D tailwindcss | |
| - name: Download and install Trunk binary | |
| run: wget -qO- https://github.com/thedodd/trunk/releases/latest/download/trunk-x86_64-unknown-linux-gnu.tar.gz | tar -xzf- | |
| - name: Build # build | |
| env: | |
| SITE_PREFIX: "/dot_ix" | |
| # "${GITHUB_REPOSITORY}" is `azriel91/dot_ix` | |
| # "${GITHUB_REPOSITORY#*/}" is `dot_ix` (remove everything before the `/`). | |
| # | |
| # Using `--public-url something` will allow trunk to modify all the href paths | |
| # like from `favicon.ico` to `repo_name/favicon.ico`. | |
| # | |
| # This is necessary for github pages where the site is deployed to | |
| # `username.github.io/repo_name` and all files must be requested | |
| # relatively as `favicon.ico`. | |
| # | |
| # If we omit the `--public-url` option, the href paths will instead request | |
| # `username.github.io/favicon.ico` which will return 404 not found. | |
| working-directory: ./playground | |
| run: ../trunk build --release --public-url "/${GITHUB_REPOSITORY#*/}" | |
| - name: Upload artifact | |
| uses: actions/upload-pages-artifact@v2 | |
| with: | |
| # Upload playground/dist directory | |
| path: 'playground/dist' | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v2 |