Skip to content
GitLab
Explore
Sign in
Iris
Diaframe
Merge requests
!1
Preliminary fixes for CI
代码
评审变更
检出分支
下载
补丁
文本差异
Ike Mulder
requested to merge
ci-setup
into
master
Nov 18, 2021
Overview
0
Commits
3
Pipelines
0
Changes
3
Expand
Among others, fixes the makefile for building without external projects.
Merge request reports