fix(ci): non-linux ci (#502)

Author: chrjabs

.github/workflows/non-linux.yml

@@ -18,7 +18,7 @@ jobs:
       - uses: Swatinem/rust-cache@v2
       - uses: taiki-e/install-action@nextest
       - name: 🧪 Run tests
-        run: cargo nextest run --profile ci --workspace --exclude rustsat-pyapi --verbose --features=all,internals
+        run: cargo nextest run --profile ci --workspace --exclude rustsat-pyapi --verbose --features=_test
   windows-tests:
     name: 🧪 Windows workspace tests
     runs-on: windows-latest
@@ -27,7 +27,7 @@ jobs:
       - uses: Swatinem/rust-cache@v2
       - uses: taiki-e/install-action@nextest
       - name: 🧪 Run tests
-        run: cargo nextest run --profile ci --workspace --exclude rustsat-cadical --exclude rustsat-kissat --exclude rustsat-pyapi --verbose --features=all,internals
+        run: cargo nextest run --profile ci --workspace --exclude rustsat-cadical --exclude rustsat-kissat --exclude rustsat-pyapi --verbose --features=_test
   macos-msrv-build:
     name: 🏗️ MacOS MSRV build
     runs-on: macos-latest
@@ -37,7 +37,7 @@ jobs:
       - uses: taiki-e/install-action@cargo-hack
       - uses: taiki-e/install-action@nextest
       - name: 🏗️ Build
-        run: cargo hack build --rust-version --workspace --verbose --features=all,internals --ignore-unknown-features
+        run: cargo hack build --rust-version --workspace --verbose --features=_test --ignore-unknown-features
   windows-msrv-build:
     name: 🏗️ Windows MSRV build
     runs-on: windows-latest
@@ -47,7 +47,7 @@ jobs:
       - uses: taiki-e/install-action@cargo-hack
       - uses: taiki-e/install-action@nextest
       - name: 🏗️ Build
-        run: cargo hack build --rust-version --workspace --exclude rustsat-cadical --exclude rustsat-kissat --exclude rustsat-pyapi --verbose --features=all,internals --ignore-unknown-features
+        run: cargo hack build --rust-version --workspace --exclude rustsat-cadical --exclude rustsat-kissat --exclude rustsat-pyapi --verbose --features=_test --ignore-unknown-features
   python-api:
     name: 🐍 Python API
     strategy: