From cec037b1a81a8fc4b3083dac207e03c59d3fbc0f Mon Sep 17 00:00:00 2001 From: Hugo Locurcio Date: Thu, 5 Dec 2024 14:03:19 +0100 Subject: [PATCH] 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. --- .github/workflows/static_checks.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/static_checks.yml b/.github/workflows/static_checks.yml index 9b326cb43e9..e832faaca47 100644 --- a/.github/workflows/static_checks.yml +++ b/.github/workflows/static_checks.yml @@ -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: |