Skip to content
Snippets Groups Projects

Apply 2 suggestion(s) to 1 file(s)

Passed
Timo Koch created pipeline for commit 69ced1e8
, finished
1 related merge request: !90 Update CI to test against dune 2.8 after rasing requirement
branch
11 jobs 11 minutes 48 seconds, queued for 7 seconds