Skip to content
GitLab
Explore
Sign in
GNOME
gtk
Merge requests
!4438
Make sure to fail the CI on error
Code
Review changes
Check out branch
Download
Patches
Plain diff
Emmanuele Bassi
requested to merge
ebassi/docs-ci-fix
into
docs-gtk-org
Feb 03, 2022
Overview
0
Commits
1
Pipelines
1
Changes
2
Expand
We don't want to overwrite working docs if we fail to build the new ones.
Merge request reports