Skip to content

remove nix CI, no one knows how to maintain it and it's always broken #17

remove nix CI, no one knows how to maintain it and it's always broken

remove nix CI, no one knows how to maintain it and it's always broken #17

Workflow file for this run

name: github pages
on:
push:
branches:
- master # Set a branch name to trigger deployment
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Cache opam
id: cache-opam
uses: actions/cache@v2
with:
path: ~/.opam
key: opam-ubuntu-latest-4.12.0
- uses: avsm/setup-ocaml@v1
with:
ocaml-version: '4.12.0'
- name: Pin
run: opam pin -n .
- name: Depext
run: opam depext -yt redis redis-sync
- name: Deps
run: opam install -d . --deps-only
- name: Build
run: opam exec -- dune build @doc
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_build/default/_doc/_html/
destination_dir: .
enable_jekyll: true