Fixes docker build
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Fixes docker build
Guillaume B
requested to merge
baugr@fixes-docker-build
into
master
Nov 30, 2021
Overview
0
Commits
1
Pipelines
0
Changes
7
Use opam file to force version on dependencies in order to fix build and publish
Merge request reports
Loading