Deploy documentation to Pages

update dune file #392

Sign in to view logs

Triggered via push October 1, 2025 07:38

filipeom

main

Status Success

Total duration 4m 22s

Artifacts –

deploy.yml

on: push