Skip to content

Merge pull request #66 from ulrikstrid/anmonteiro/no-cstruct #52

Merge pull request #66 from ulrikstrid/anmonteiro/no-cstruct

Merge pull request #66 from ulrikstrid/anmonteiro/no-cstruct #52

Workflow file for this run

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