Skip to content
Snippets Groups Projects

Update dune-project, colibri2.opam

Passed
created pipeline for commit bcad90b3
, finished
Related merge request !31 to merge bobot/abs
merge request
2 jobs 9 minutes 57 seconds, queued for 8 seconds