Build on Dune PM

avoid command line parsing in a the middle of a library #140

Sign in to view logs

Triggered via pull request November 19, 2025 13:57

v-gb

opened #2754

v-gb:push-knzpolvnnptp

Status Success

Total duration 7m 22s

Artifacts –

build-dune.yml

on: pull_request

Matrix: build