Try something

Author: toolCHAINZ

.github/workflows/python.yml

@@ -64,42 +64,42 @@ jobs:
           name: wheels-linux-${{ matrix.platform.target }}
           path: crackers_python/dist
 
-  #  windows:
-  #    runs-on: ${{ matrix.platform.runner }}
-  #    strategy:
-  #      matrix:
-  #        platform:
-  #          - runner: windows-latest
-  #            target: x64
-  #    steps:
-  #      - uses: actions/checkout@v4
-  #        with:
-  #          submodules: true
-  #      - name: Install Z3 using Chocolatey
-  #        run: |
-  #          choco install z3
-  #      - name: Set Z3 environment variables
-  #        run: |
-  #          echo ::set-env name=Z3_INCLUDE_PATH::C:\tools\z3\include
-  #          echo ::set-env name=Z3_LIB_PATH::C:\tools\z3\lib
-  #      - uses: actions/setup-python@v5
-  #        with:
-  #          python-version: 3.x
-  #          architecture: ${{ matrix.platform.target }}
-  #      - name: Build wheels
-  #        uses: PyO3/maturin-action@v1
-  #        with:
-  #          target: ${{ matrix.platform.target }}
-  #          args: --release --out dist --find-interpreter
-  #          working-directory: crackers_python
-  #          # sccache: ${{ !startsWith(github.ref, 'refs/tags/') }}
-  #        env:
-  #          Z3_SYS_Z3_PATH: "C:/Program Files/Z3/include"
-  #      - name: Upload wheels
-  #        uses: actions/upload-artifact@v4
-  #        with:
-  #          name: wheels-windows-${{ matrix.platform.target }}
-  #          path: crackers_python/dist
+    windows:
+      runs-on: ${{ matrix.platform.runner }}
+      strategy:
+        matrix:
+          platform:
+            - runner: windows-latest
+              target: x64
+      steps:
+        - uses: actions/checkout@v4
+          with:
+            submodules: true
+        - name: Install Z3 using Chocolatey
+          run: |
+            choco install z3
+        - name: Set Z3 environment variables
+          run: |
+            echo ::set-env name=Z3_INCLUDE_PATH::C:\tools\z3\include
+            echo ::set-env name=Z3_LIB_PATH::C:\tools\z3\lib
+        - uses: actions/setup-python@v5
+          with:
+            python-version: 3.x
+            architecture: ${{ matrix.platform.target }}
+        - name: Build wheels
+          uses: PyO3/maturin-action@v1
+          with:
+            target: ${{ matrix.platform.target }}
+            args: --release --out dist --find-interpreter
+            working-directory: crackers_python
+            # sccache: ${{ !startsWith(github.ref, 'refs/tags/') }}
+          env:
+            Z3_SYS_Z3_PATH: "C:/Program Files/Z3/include"
+        - name: Upload wheels
+          uses: actions/upload-artifact@v4
+          with:
+            name: wheels-windows-${{ matrix.platform.target }}
+            path: crackers_python/dist
 
   macos:
     runs-on: ${{ matrix.platform.runner }}