This commit is contained in:
Simon Cruanes 2026-04-16 12:18:19 -04:00
parent 158e0ac4cd
commit 50d0656ab0

View file

@ -22,7 +22,7 @@ jobs:
run: opam exec -- odig odoc --cache-dir=_doc/ trace trace-tef trace-fuchsia ppx_trace
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_doc/html