Skip to content
Snippets Groups Projects

[ci] Test with dune 2.8 instead of dune 2.7

Passed
Timo Koch created pipeline for commit 8a567c37
, finished
Related merge request !2781 to merge feature/ci-use-dune-2.8
Child pipeline ( parent ) merge request
7 jobs 11 minutes 58 seconds, queued for 1,057 seconds