build-master.yml

name: Build master - Deploy to GitHub Pages
on:
  push:
    branches:
      - master
jobs:
  build-and-deploy:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/setup-node@v1
        with:
          node-version: 12
      - name: Checkout
        uses: actions/checkout@v2
        with:
          persist-credentials: false

      - uses: cachix/install-nix-action@v30
        with:
          extra_nix_config: |
            access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}

      - name: Build
        run: nix develop --accept-flake-config -c dune build -p jose

      - name: Test with coverage
        run: nix develop --accept-flake-config -c dune build @runtest --instrument-with bisect_ppx --force

      - name: Upload coverage
        run: nix develop --accept-flake-config -c bisect-ppx-report send-to Codecov

      - name: Build docs
        run: nix develop --accept-flake-config -c dune build @doc

      - name: Deploy
        uses: JamesIves/github-pages-deploy-action@releases/v4
        with:
          clean: true
          folder: _build/default/_doc/_html