Skip to content

try dune job with Rocq 9.1.dev

Ralf Jungrequested to merge
ralf/dune-9.1 into master

This is supposed to fix #236 (closed) so let's see.

Cc @lepigre

Edited by Ralf Jung

Merge request reports