chore: release

.github/workflows/non-linux.yml

@@ -28,26 +28,6 @@ jobs:
       - 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=_test
-  macos-msrv-build:
-    name: 🏗️ MacOS MSRV build
-    runs-on: macos-latest
-    steps:
-      - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5
-      - uses: Swatinem/rust-cache@v2
-      - uses: taiki-e/install-action@cargo-hack
-      - uses: taiki-e/install-action@nextest
-      - name: 🏗️ Build
-        run: cargo hack build --rust-version --workspace --verbose --features=_test --ignore-unknown-features
-  windows-msrv-build:
-    name: 🏗️ Windows MSRV build
-    runs-on: windows-latest
-    steps:
-      - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5
-      - uses: Swatinem/rust-cache@v2
-      - 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=_test --ignore-unknown-features
   python-api:
     name: 🐍 Python API
     strategy:

CHANGELOG.md

@@ -2,6 +2,51 @@
 
 All notable changes to this project will be documented in this file.
 
+## 0.7.4 - 2025-10-18
+
+**NOTE**: the feature `all` has been renamed to `_test` and `internals` to `_internals`.
+This is _not_ treated as a breaking change, because both features were always intended as an internal features.
+The leading underscore now properly marks the features as internal.
+
+### Features
+
+- `AsRef<Cl>` for `[Lit; N]`, `Vec`, and `Cl` ([#499](https://github.com/chrjabs/rustsat/pull/499)) ([6a4fe5b](6a4fe5ba9d2d3357d32d5e0224d0ca3f62f412f1))
+
+### Bug Fixes
+
+- Deadlock in external solver ([6b2f0bf](6b2f0bf1a6c8ceb1bcd3dd579f3744947560c9d2))
+- Abstract timer and use `std::time::Instant` in `wasm` ([aadef69](aadef69472923d57e99a541c64376dbccaf3a855)), fixes #455
+- Change timers from process time to thread time ([57261f5](57261f5c4993ad3bb1e38986ca9c238ed7a328d0))
+- Use `web-time` for timing measurement on `wasm` (#467) ([50d67f2](50d67f2d3c93bd3ee906104b5f0eb353fb0b4665))
+- Various dependency updates
+- Changelogs for C and Python API ([8b66ace](8b66ace4d9aee334c5561f36b666e0a01201d9f0))
+- Auto cfg in documentation (#497) ([c6623bf](c6623bf230c4e21218dd374ada9d8dada45cf0e2))
+
+### Documentation
+
+- Add note to make external solver non-verbose ([cb088b0](cb088b092ee66f6086175c0e3f1cfd01679f5851))
+
+### Miscellaneous Tasks
+
+- Fix labeler permissions ([25fc271](25fc271dcc0caa70d8cbabb44891e453bf0d148d))
+- Make paths relative to cargo manifest ([87d6f2e](87d6f2e80ee6c757f57a31864f7e9aa1a325c2ab))
+- Add newlines at end of templates ([1f931e6](1f931e61c21abd7f979c84b19df4feba71dc11d1))
+- Add --check option ([f67835e](f67835ea3dc6ee6468c92e9b090a09d020732926))
+- Switch CI to nix ([7c73dcf](7c73dcfdb7358ed64a1b70442daeb92a6fa39621))
+- Skip mosts checks on draft PRs (#454) ([323116d](323116deedb6a30e93a6abae62687362540bfd45))
+- Check wasm compatibility ([27f1000](27f10001b4f54e27a66382adfde21be5a17b7d2c))
+- Update to pyo3 0.26.0 ([3167083](3167083835cd27593339989345429876146c9231))
+- Update dev env and `release-plz` trusted publishing (#479) ([88ac9af](88ac9af539460231238c903dc7b7cfe1285c5048))
+- Update dev env and dev rust version ([fb2070d](fb2070dc089876986ac11bd2791881527673fa86))
+- Clippy ([844a209](844a2097c9eea05375d32f0c178f83cf3ac8d633))
+- Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952))
+- Add cargo-deny ([80ac88b](80ac88b7f9b3306c5b80218d1799319dc03c6117))
+- Use new veripb ([006ddde](006ddde3d8bdb73ba5df79a4435607ee9a666a5a))
+- Generate changelogs for C and Python API (#490) ([88aa787](88aa7878c95e82c0bc117491449b5a9ba620622b))
+- Ignore commit hash links in typo checking (#493) ([04cf19b](04cf19bae3bdfdedecfa86798c746b4567dc6c51))
+
+<!-- generated by git-cliff -->
+
 ## 0.7.3 - 2025-08-07
 
 ### Bug Fixes