Don't use the dune images for CI
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Don't use the dune images for CI
Dr. Jorrit Fahlke
requested to merge
ci-no-dune-ci
into
master
Mar 26, 2019
Overview
0
Commits
2
Pipelines
8
Changes
2
Closes:
#17 (closed)
Merge request reports
Loading