Skip to content
GitLab
Explore
Sign in
Register
GNOME
Connections
Merge requests
!115
ci: Remove Fedora CI
Code
Review changes
Check out branch
Download
Patches
Plain diff
Christopher Davis
requested to merge
wip/cdavis/remove-fedora-ci
into
master
Nov 18, 2021
Overview
4
Commits
1
Pipelines
2
Changes
1
Expand
Fedora CI is redundant, and fails because dependencies in Fedora aren't new enough for us.
Merge request reports