CHANGELOG update

creusot-rs · Oct 27, 2024 · 04804d5 · 04804d5
1 parent 1700392
commit 04804d5
Show file tree

Hide file tree

Showing 14 changed files with 6 additions and 31 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -18,9 +18,4 @@ split-debuginfo = "off"
 
 [workspace.metadata.release]
 shared-version = true
-tag-name = "v{{version}}"
-pre-release-replacements = [
-  {file="CHANGELOG.md", search="Unreleased", replace="{{version}}"},
-  {file="CHANGELOG.md", search="ReleaseDate", replace="{{date}}"},
-  {file="CHANGELOG.md", search="<!-- next-header -->", replace="<!-- next-header -->\n\n## [Unreleased] - ReleaseDate", exactly=1},
-]
+tag-name = "v{{version}}"
diff --git a/cargo-creusot/Cargo.toml b/cargo-creusot/Cargo.toml
@@ -20,5 +20,3 @@ include_dir = "0.7.3"
 tempdir = "0.3.7"
 glob = "0.3.1"
 
-[package.metadata.release]
-pre-release-replacements = [ ]
diff --git a/creusot-args/Cargo.toml b/creusot-args/Cargo.toml
@@ -10,5 +10,3 @@ publish = false
 clap = { version = "4.2.5", features = ["derive", "env"] }
 serde = { version = "1.0.195", features = ["derive"] }
 
-[package.metadata.release]
-pre-release-replacements = [ ]
diff --git a/creusot-contracts-dummy/Cargo.toml b/creusot-contracts-dummy/Cargo.toml
@@ -15,5 +15,3 @@ proc-macro = true
 quote = "1.0.35"
 proc-macro2 = "1.0.29"
 
-[package.metadata.release]
-pre-release-replacements = [ ]
diff --git a/creusot-contracts-proc/Cargo.toml b/creusot-contracts-proc/Cargo.toml
@@ -18,5 +18,3 @@ pearlite-syn = { version = "0.2", path = "../pearlite-syn", features = ["full"]
 syn = { version = "2.0.15"}
 proc-macro2 = "1.0.29"
 
-[package.metadata.release]
-pre-release-replacements = [ ]
diff --git a/creusot-contracts/Cargo.toml b/creusot-contracts/Cargo.toml
@@ -19,8 +19,6 @@ default = []
 typechecker = []
 contracts = []
 
-[package.metadata.release]
-pre-release-replacements = [ ]
 
 [lints.rust]
 unexpected_cfgs = { level = "warn", check-cfg = ['cfg(creusot)'] }
diff --git a/creusot-dev-config/Cargo.toml b/creusot-dev-config/Cargo.toml
@@ -9,5 +9,3 @@ creusot-setup = { path = "../creusot-setup" }
 anyhow = "1.0"
 which = "6.0"
 
-[package.metadata.release]
-pre-release-replacements = [ ]
diff --git a/creusot-metadata/Cargo.toml b/creusot-metadata/Cargo.toml
@@ -9,5 +9,3 @@ publish = false
 [dependencies]
 indexmap = "1.7.0"
 
-[package.metadata.release]
-pre-release-replacements = [ ]
diff --git a/creusot-rustc/Cargo.toml b/creusot-rustc/Cargo.toml
@@ -14,5 +14,3 @@ env_logger = "0.10"
 serde = { version = "1.0", features = ["derive"] }
 creusot-args = {path = "../creusot-args"}
 
-[package.metadata.release]
-pre-release-replacements = [ ]
diff --git a/creusot-setup/Cargo.toml b/creusot-setup/Cargo.toml
@@ -17,5 +17,3 @@ hex = "0.4"
 sha2 = "0.10"
 indoc = "2.0.5"
 
-[package.metadata.release]
-pre-release-replacements = [ ]
diff --git a/creusot/Cargo.toml b/creusot/Cargo.toml
@@ -47,4 +47,8 @@ harness = false
 rustc_private = true
 
 [package.metadata.release]
-pre-release-replacements = [ ]
+pre-release-replacements = [
+  {file="../CHANGELOG.md", search="Unreleased", replace="{{version}}"},
+  {file="../CHANGELOG.md", search="ReleaseDate", replace="{{date}}"},
+  {file="../CHANGELOG.md", search="<!-- next-header -->", replace="<!-- next-header -->\n\n## [Unreleased] - ReleaseDate", exactly=1},
+]
diff --git a/pearlite-syn/Cargo.toml b/pearlite-syn/Cargo.toml
@@ -25,5 +25,3 @@ parsing = []
 insta = "1.0.29"
 ref-cast = "1.0"
 
-[package.metadata.release]
-pre-release-replacements = [ ]
diff --git a/why3/Cargo.toml b/why3/Cargo.toml
@@ -26,5 +26,3 @@ tempfile="3.10.0"
 [features]
 serialize = ["serde"]
 
-[package.metadata.release]
-pre-release-replacements = [ ]
diff --git a/why3tests/Cargo.toml b/why3tests/Cargo.toml
@@ -24,5 +24,3 @@ test = false
 name = "session_stats"
 harness = false
 
-[package.metadata.release]
-pre-release-replacements = [ ]