Remove install with opam for now #35

Sign in to view logs

Triggered via push November 3, 2023 08:45

mbarbin

main

Status Success

Total duration 3m 26s

Artifacts –

deploy-doc.yml

on: push

Deploy doc to GitHub Pages