Skip to content
GitLab
Explore
Sign in
Change CI to use ubuntu instead of arch
Code
Review changes
Check out branch
Download
Patches
Plain diff
Schrödter, Tobias
requested to merge
136_change_to_ubuntu
into
master
Feb 09, 2021
Overview
2
Commits
3
Pipelines
6
Changes
2
Expand
Fixes
#136 (closed)
Merge request reports