Skip to content
GitLab
Explore
Sign in
GNOME
gnome-build-meta
Merge requests
!1287
Revert "ci: Disable pinebookpro build"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Javier Jardón
requested to merge
jjardon/pinbook-pro-build-41
into
gnome-41
Aug 29, 2021
Overview
0
Commits
1
Pipelines
2
Changes
1
Expand
This reverts commit
1fb176cf
.
Backport of
!1284 (merged)
Merge request reports