Skip to content

Commit cea5000

Browse files
committed
2026-02-24: Add changelog
1 parent 3a03861 commit cea5000

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

content/2026-02-24.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@ description = "Assumptions, workspaces, and nightly shenanigans"
88
## What's new in Creusot?
99

1010
This February's release brings a couple of QOL improvements.
11+
For the rest, see the [Changelog](https://github.com/creusot-rs/creusot/blob/master/CHANGELOG.md#0100---2026-02-24).
1112

1213
### Assume (trusted asserts)
1314

0 commit comments

Comments
 (0)