Skip to content
GitLab
Explore
Sign in
Register
[ci] Test with dune 2.8 instead of dune 2.7
Code
Änderungen prüfen
Branch auschecken
Herunterladen
Patches
Unformatierter Diff
Timo Koch
requested to merge
feature/ci-use-dune-2.8
into
master
Aug 21, 2021
Overview
7
Commits
1
Pipelines
9
Changes
1
Expand
Merge request reports
Loading