dinosaure
1 follower · 0 following
  • Joined on 2024-08-21
Repositories Projects Packages Public activity Starred repositories
dinosaure pushed to main at robur/cachet 2024-11-21 10:37:30 +00:00
ae7c28adbc Raise a specific exception instead of Failure when we are out of bounds
dinosaure commented on issue robur/opam-mirror#20 2024-11-20 10:54:54 +00:00
Git to/of_octets and startup

If you do a Git_kv.pull from an existing git-kv, we must take into account diffs between your actual snapshot and what we have on opam-repository. So we ask few commits to be able to…

dinosaure commented on issue robur/opam-mirror#20 2024-11-20 10:48:23 +00:00
Git to/of_octets and startup

I guess the question I have in mind is whether a git_kv pull from scratch (without an existing git_kv) is bandwidth-wise much more expensive than if we have a repository already.

A `Git_kv.pul…

dinosaure approved robur/git-kv#5 2024-11-20 10:16:20 +00:00
of_octets: create ring buffer earlier to avoid missing data

Nice catch!

dinosaure commented on issue robur/opam-mirror#18 2024-11-13 12:25:16 +00:00
At startup, always check the digests of the files

Note that we don't need to check values into the git archive. The PACK file has a signature (a SHA1) which verify the integrity of the whole Git archive.

dinosaure pushed to main at robur/cachet 2024-11-10 16:54:34 +00:00
0dd935861d Add few functions again on the read-only bigarray
dinosaure pushed to main at robur/cachet 2024-11-08 15:20:06 +00:00
0be968d9eb Fix link for map_file into the README.md
dinosaure pushed to main at robur/cachet 2024-11-08 15:18:35 +00:00
c3f4deb3d4 Don't explicitely require all modes
dinosaure pushed to main at robur/cachet 2024-11-08 15:17:50 +00:00
76c7d17cfe Fix the opam file according to the CI
dinosaure approved robur/git-kv#4 2024-10-30 11:59:44 +00:00
remove no longer used code
dinosaure pushed to gh-pages at robur/blog.robur.coop 2024-10-29 11:07:10 +00:00
c4fab86aee Pushed by YOCaml 2 from bc0bbbc706
dinosaure pushed to gh-pages at robur/blog.robur.coop 2024-10-29 11:03:12 +00:00
d3edee6020 Pushed by YOCaml 2
dinosaure deleted branch elit from robur/blog.robur.coop 2024-10-29 11:01:38 +00:00
dinosaure pushed to main at robur/blog.robur.coop 2024-10-29 11:01:34 +00:00
bc0bbbc706 Merge pull request 'Add article about elit/ptt' (#21) from elit into main
f37e1a5c1c Update the date of the PTT article
ca5efb67e8 Add article about elit
Compare 3 commits »
dinosaure merged pull request robur/blog.robur.coop#21 2024-10-29 11:01:32 +00:00
Add article about elit/ptt
dinosaure pushed to elit at robur/blog.robur.coop 2024-10-29 11:01:20 +00:00
f37e1a5c1c Update the date of the PTT article
dinosaure approved robur/git-kv#2 2024-10-29 10:59:41 +00:00
Refactor test/dune and add a failing test
dinosaure commented on pull request robur/git-kv#2 2024-10-29 10:40:08 +00:00
Refactor test/dune and add a failing test

yes, basically protect the whole change_and_push with a mutex will solve all of our issues 😄

dinosaure pushed to batch-test at robur/git-kv 2024-10-29 10:10:12 +00:00
681e4f2367 Add expected EOF on cram tests (otherwise, tests fails on Archlinux)
3cae0f7765 Use Lwt_{condition,mutex} instead of lwt tasks to serialize change_and_push
Compare 2 commits »
dinosaure commented on pull request robur/git-kv#2 2024-10-29 09:38:14 +00:00
Refactor test/dune and add a failing test

Once task A finishes change_and_push, it wakes up task B.

If there's a task C coming along, doing change_and_push, it will set t.change_and_push_waiter to a new task, and wait for the…