Disable json when necessary.

mittinatten · Nov 13, 2022 · 05f9ea7 · 05f9ea7
1 parent 79633f9
commit 05f9ea7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -20,7 +20,7 @@ jobs:
         # check that minimal build also works
         include:
           - compiler: gcc
-            enable: ""
+            enable: "--disable-json --disable-xml"
             deps: "libc++-dev libc++abi-dev"
     runs-on: ubuntu-latest
     steps: