diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1f9f535bc..4f91c3ed3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -194,6 +194,7 @@ jobs: windows: + if: false # build is broken, thus disabled, see #8264 runs-on: windows-latest timeout-minutes: 120 needs: linux