GitHub Actions: Use quiet xmllint output to only print error lines

Success lines are no longer printed, making the CI log shorter
and faster to read.
This commit is contained in:
Hugo Locurcio
2024-12-05 14:03:19 +01:00
parent 1f47e4c4e3
commit cec037b1a8

View File

@@ -56,7 +56,7 @@ jobs:
- name: Class reference schema checks
run: |
xmllint --noout --schema doc/class.xsd doc/classes/*.xml modules/*/doc_classes/*.xml platform/*/doc_classes/*.xml
xmllint --quiet --noout --schema doc/class.xsd doc/classes/*.xml modules/*/doc_classes/*.xml platform/*/doc_classes/*.xml
- name: Run C compiler on `gdextension_interface.h`
run: |