Build and test

github: remove dependency of python wheel's on dune (#6232) #11489

Sign in to view logs

Triggered via push January 15, 2025 16:24

github-merge-queue[bot]

master

Status Success

Total duration 7m 7s

Artifacts –

main.yml

on: push

Run OCaml tests