Build on Dune PM

Update the vendored odoc-parser (#2757) #149

Sign in to view logs

Triggered via push December 1, 2025 11:02

Julow

main

Status Success

Total duration 9m 7s

Artifacts –

build-dune.yml

on: push

Matrix: build