Skip to content

Bug fix: events: wrongly decoded ~external_ flag #98

Bug fix: events: wrongly decoded ~external_ flag

Bug fix: events: wrongly decoded ~external_ flag #98

Workflow file for this run

name: github pages
on:
push:
branches:
- main # Set a branch name to trigger deployment
jobs:
deploy:
runs-on: ubuntu-latest
permissions:
contents: 'read'
id-token: 'write'
pages: 'write'
steps:
- uses: actions/checkout@main
- uses: Jimver/cuda-toolkit@v0.2.15
id: cuda-toolkit
with:
method: network
sub-packages: '[ "cudart", "cudart-dev", "nvrtc", "nvrtc-dev" ]'
- name: Cache opam
id: cache-opam
uses: actions/cache@v2
with:
path: ~/.opam
key: opam-ubuntu-latest-5.1.1
- uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: '5.1.1'
- name: Pin
run: opam pin -n .
- name: Depext
run: opam depext -yt ocannl_npy arrayjit neural_nets_lib
- name: Deps
run: opam install -d . --deps-only
- name: Build
run: opam exec -- dune build @doc
- name: Setup Pages
uses: actions/configure-pages@v3
- name: Upload artifact
uses: actions/upload-pages-artifact@v1
with:
path: './_build/default/_doc/_html'
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v1