diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 07be6bb9b..dc112b987 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -17,6 +17,10 @@ jobs:
             mode: gcov
             config-opt: --enable-mcsat
             env: CC=gcc CXX=g++
+          - os: windows-latest
+            mode: release
+            config-opt: ""
+            env: ""
 
     name: ${{ matrix.os }}|${{ matrix.mode }}|${{ matrix.config-opt }}|${{ matrix.env }}
     runs-on: ${{ matrix.os }}
@@ -28,6 +32,7 @@ jobs:
       uses: ./.github/actions/install-dependencies
 
     - name: Build
+      if: matrix.os != 'windows-latest'
       uses: ./.github/actions/build
       with:
         mode: ${{ matrix.mode }}
@@ -35,17 +40,18 @@ jobs:
         env: ${{ matrix.env }}
 
     - name: Test
+      if: matrix.os != 'windows-latest'
       uses: ./.github/actions/test
       with:
         mode: ${{ matrix.mode }}
 
     - name: Coverage
-      if: matrix.mode == 'gcov'
+      if: matrix.os != 'windows-latest' && matrix.mode == 'gcov'
       uses: ./.github/actions/coverage
 
     - name: Coveralls
-      if: matrix.mode == 'gcov'
+      if: matrix.os != 'windows-latest' && matrix.mode == 'gcov'
       uses: coverallsapp/github-action@master
       with:
         github-token: ${{ secrets.GITHUB_TOKEN }}
-        path-to-lcov: 'coverage.info'
\ No newline at end of file
+        path-to-lcov: 'coverage.info'