deploy-doc

upgrade to dune.3.12 and dedup dune dependency #44

Sign in to view logs

Triggered via push January 17, 2024 17:23

mbarbin

main

Status Success

Total duration 1m 52s

Artifacts –

deploy-doc.yml

on: push

Deploy doc to GitHub Pages