mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-12-25 05:01:09 +00:00
CI: Don't run style-check-diff by default
We don't use it most of the time and it's also confusing to new contributors who think it's important to fix it. Keep it for manual runs, so that interested people can just click a button to see the results. It also makes it easy to turn back on later.
This commit is contained in:
parent
0a0a03d913
commit
073c836f96
@ -39,7 +39,7 @@ style-check-diff:
|
||||
extends: .only-default
|
||||
image: $FEDORA_IMAGE
|
||||
stage: check
|
||||
allow_failure: true
|
||||
when: manual
|
||||
script:
|
||||
- .gitlab-ci/run-style-check-diff.sh
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user