Update link to documentation (#280) #555
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: Nix | |
| on: | |
| push: | |
| branches: | |
| - main | |
| - staging | |
| - trying | |
| pull_request: | |
| workflow_dispatch: | |
| jobs: | |
| build: | |
| strategy: | |
| matrix: | |
| os: [ ubuntu-20.04, macos-latest ] | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: cachix/install-nix-action@v23 | |
| - uses: cachix/cachix-action@v12 | |
| with: | |
| name: numtide | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - run: | | |
| export PRJ_ROOT=$PWD | |
| $(./shell.nix)/entrypoint --pure bash -c "echo OK" | |
| - run: nix-shell --run "echo OK" | |
| - run: nix-build | |
| flakes: | |
| strategy: | |
| matrix: | |
| os: [ ubuntu-20.04 ] # macos-latest is not working right now | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| # Nix Flakes doesn't work on shallow clones | |
| fetch-depth: 0 | |
| - uses: cachix/install-nix-action@v23 | |
| - uses: cachix/cachix-action@v12 | |
| with: | |
| name: numtide | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - run: nix flake check | |
| - run: nix develop -c echo OK | |
| - name: Run nix flake archive | |
| run: nix flake archive | |
| docs: | |
| strategy: | |
| matrix: | |
| os: [ ubuntu-20.04 ] | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: cachix/install-nix-action@v23 | |
| - uses: cachix/cachix-action@v12 | |
| with: | |
| name: numtide | |
| authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' | |
| - run: | | |
| nix-build -A docs | |
| cp -r "$(readlink ./result)" book | |
| - name: Deploy to GitHub Pages | |
| if: github.ref == 'refs/heads/main' | |
| uses: crazy-max/ghaction-github-pages@v4 | |
| with: | |
| target_branch: gh-pages | |
| build_dir: book | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |