From b7d18b77459f535f1078abff4e52ea76ddd9c011 Mon Sep 17 00:00:00 2001 From: Robur Team Date: Tue, 29 Oct 2024 11:52:49 +0000 Subject: [PATCH] add changes for 0.1.0 --- CHANGES.md | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index c13f703..67212bc 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,12 @@ +# v0.1.0 2024-10-29 - Berlin (Germany) and Bamenda (Cameroon) + +- Refine change_and_push semantics (fixing on GitHub #1 #2 - @reynir @dinosaure @hannesm git.robur.coop #2) + - only a single task may execute it at once (using a Lwt_mutex.t to protect this) + - abort if the state is updated in parallel by a different task while change_and_push is executing +- Do the rename inside a change_and_push (so only a single commit from a rename), git.robur.coop #3 +- Add alcotest unit tests +- Fix CRAM tests + # v0.0.5 2024-05-17 - Paris (France) - Return a raw representation of the hash instead of the hex representation (@hannesm, #35)