Skip to content

0.1.0
Compare
Choose a tag to compare
@robur-team robur-team released this 29 Oct 11:55
· 10 commits to main since this release
v0.1.0
b7d18b7

CHANGES:

  • 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

Contributors

hannesm, dinosaure, and reynir
Assets 3
Loading