customize navbar #12
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: deploy | |
| on: | |
| push: | |
| branches: ["main"] | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| concurrency: | |
| group: "pages" | |
| cancel-in-progress: false | |
| jobs: | |
| deploy: | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: "recursive" | |
| # - uses: erlef/setup-beam@v1 | |
| # with: | |
| # otp-version: "26.0.2" | |
| # # Ensure you update the bin/download-compiler Gleam version to match this | |
| # gleam-version: "1.5.1" | |
| # rebar3-version: "3" | |
| - uses: cachix/install-nix-action@v26 | |
| - uses: DeterminateSystems/magic-nix-cache-action@v4 | |
| - name: Download WASM version of Glistix compiler | |
| run: ./bin/download-compiler | |
| - run: glistix deps download | |
| shell: nix develop -L --command bash -e {0} | |
| # This will work even if compilation fails (as Lustre imports arent't valid on Nix) | |
| # The main concern is generating files for deps and prelude | |
| - name: Generate Nix files | |
| run: glistix build --target nix | true | |
| shell: nix develop --command bash -e {0} | |
| - name: Build site | |
| run: glistix run | |
| shell: nix develop --command bash -e {0} | |
| - name: Setup Pages | |
| uses: actions/configure-pages@v4 | |
| - name: Upload artifact | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: "public" | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |