chore: manual release tasks

chrjabs · Oct 16, 2024 · 4ea4fa6 · 4ea4fa6
1 parent 4f2ab22
commit 4ea4fa6
Show file tree

Hide file tree

Showing 12 changed files with 18 additions and 71 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,18 +4,6 @@ All notable changes to this project will be documented in this file.
 
 ## [0.6.0] - 2024-10-16
 
-### Bug Fixes
-
-- Pin python runners to `ubuntu-22.04`
-- Pin capi runner to `ubuntu-22.04`
-- Pin maturin to 1.6.0 for sdist build
-
-### Documentation
-
-- Fix ambiguous links
-- Mark `internals` properly
-- Fix typos
-
 ### Features
 
 - External solver interface
@@ -35,25 +23,23 @@ All notable changes to this project will be documented in this file.
 - Commander at-most-one encoding
 - Bimander at-most-one encoding
 
+### Documentation
+
+- Fix ambiguous links
+- Mark `internals` properly
+- Fix typos
+
 ### Miscellaneous Tasks
 
 - Move main crate to project root
 - Pedantic clippy
 - [**breaking**] Breaking clippy suggestions
 - [**breaking**] Rename constraint types
-- Ci for `next-major` branch
-- Update pages on every `main` commit
 - Update dependencies
 - Run clippy nightly on prs
-- Only set rustsat release as "latest" on github
 - Update dependencies
-- Clippy
-- Update maturin and mypy
-- Update python packages
-- Bump pyo3 from 0.22.3 to 0.22.4
-- Bump install-pinned/mypy
-- Bump cc from 1.1.28 to 1.1.30
-- Bump pyo3 from 0.22.4 to 0.22.5
+- Clippy with most-recent nightly
+- Set up nix dev shell and tools package
 
 ### Refactor
 
@@ -69,11 +55,6 @@ All notable changes to this project will be documented in this file.
 
 - [**breaking**] Mark unchecked functions as unsafe
 
-### Misc
-
-- Clippy with most-recent nightly
-- Set up nix dev shell and tools package
-
 <!-- generated by git-cliff -->
 ## [0.5.1] - 2024-06-12
 

diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md
@@ -9,45 +9,35 @@ All notable changes to this project will be documented in this file.
 - Ensure solvers are always linked statically
 - Don't unnecessarily rebuild cadical
 - Accidental double init
-- Use `cargo:` syntax for backwards compat
+- Use `cargo:` syntax in build script for backwards compatibility
 
 ### Documentation
 
-- Describe cpp source customization
+- Describe CPP source customization
 
 ### Features
 
-- CaDiCal Version 2.0.0
+- CaDiCal Versions 2.0.0 and 2.1.0
 - `Propagate` trait
-- `Cl` as light-weight DST for clauses
 - Allow applying custom patches
 - Allow specifying custom cpp src directory
-- Support version 2.1.0
 
 ### Miscellaneous Tasks
 
 - Fix stray feature reference
-- Move main crate to project root
 - Pedantic clippy
 - [**breaking**] Breaking clippy suggestions
 
 ### Refactor
 
 - [**breaking**] Make reading functions take reader by reference
 - Use bindgen to generate solver bindings
+- Keep patch code in separate files
 
 ### Testing
 
 - Add tests for `FlipLit` trait
 
-### Misc
-
-- Set up nix dev shell and tools package
-
-### Refac
-
-- Keep patch code in separate files
-
 <!-- generated by git-cliff -->
 ## [0.3.1] - 2024-06-12
 

diff --git a/capi/Cargo.toml b/capi/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-capi"
-version = "0.5.1"
+version = "0.6.0"
 edition.workspace = true
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license.workspace = true

diff --git a/cliff.toml b/cliff.toml
@@ -60,7 +60,7 @@ commit_parsers = [
   { message = "^chore\\(deps\\)", skip = true },
   { message = "^chore\\(pr\\)", skip = true },
   { message = "^chore\\(pull\\)", skip = true },
-  { message = "^chore|ci", group = "Miscellaneous Tasks" },
+  { message = "^chore|ci|misc", group = "Miscellaneous Tasks" },
   { body = ".*security", group = "Security" },
   { message = "^revert", group = "Revert" },
 ]

diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md
@@ -11,11 +11,9 @@ All notable changes to this project will be documented in this file.
 ### Features
 
 - `Propagate` trait
-- `Cl` as light-weight DST for clauses
 
 ### Miscellaneous Tasks
 
-- Move main crate to project root
 - Pedantic clippy
 
 ### Refactor

diff --git a/ipasir/CHANGELOG.md b/ipasir/CHANGELOG.md
@@ -4,13 +4,8 @@ All notable changes to this project will be documented in this file.
 
 ## [0.1.2] - 2024-10-16
 
-### Features
-
-- `Cl` as light-weight DST for clauses
-
 ### Miscellaneous Tasks
 
-- Move main crate to project root
 - Pedantic clippy
 
 <!-- generated by git-cliff -->

diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md
@@ -10,13 +10,10 @@ All notable changes to this project will be documented in this file.
 
 ### Features
 
-- `Cl` as light-weight DST for clauses
-- Kissat v4.0.0
-- Support version 4.0.1
+- Kissat versions 4.0.0 and 4.0.1
 
 ### Miscellaneous Tasks
 
-- Move main crate to project root
 - Pedantic clippy
 - [**breaking**] Breaking clippy suggestions
 
@@ -25,10 +22,6 @@ All notable changes to this project will be documented in this file.
 - [**breaking**] Make reading functions take reader by reference
 - Use bindgen to generate solver bindings
 
-### Misc
-
-- Set up nix dev shell and tools package
-
 <!-- generated by git-cliff -->
 ## [0.2.1] - 2024-06-12
 

diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md
@@ -7,11 +7,9 @@ All notable changes to this project will be documented in this file.
 ### Features
 
 - `Propagate` trait
-- `Cl` as light-weight DST for clauses
 
 ### Miscellaneous Tasks
 
-- Move main crate to project root
 - Pedantic clippy
 
 ### Refactor

diff --git a/pyapi/Cargo.toml b/pyapi/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-pyapi"
-version = "0.5.1"
+version = "0.6.0"
 edition.workspace = true
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license.workspace = true

diff --git a/release-plz.toml b/release-plz.toml
@@ -46,8 +46,3 @@ git_release_enable = false
 name = "rustsat-pyapi"
 release = false
 git_release_enable = false
-
-[[package]]
-name = "rustsat-batsat"
-release = false
-git_release_enable = false
diff --git a/scripts/sync-versions.sh b/scripts/sync-versions.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-VERSION=$(grep '^version = "[[:digit:]]\+.[[:digit:]]\+.[[:digit:]]\+"' rustsat/Cargo.toml | cut -d '"' -f2)
+VERSION=$(grep '^version = "[[:digit:]]\+.[[:digit:]]\+.[[:digit:]]\+"' Cargo.toml | cut -d '"' -f2)
 SED_PATTERN="s/^version = \"[[:digit:]]\+.[[:digit:]]\+.[[:digit:]]\+\"$/version = \"${VERSION}\"/g"
 
 # sync C-API version

diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md
@@ -18,10 +18,7 @@ All notable changes to this project will be documented in this file.
 ### Miscellaneous Tasks
 
 - Clippy
-
-### Misc
-
-- Set up nix dev shell and tools package
+- Package for Nix
 
 <!-- generated by git-cliff -->
 ## [0.3.1] - 2024-06-12