Organisationsrobur-coopgit-kvbranch/mainBuild History

Build History for branch/main

Builds (39)
Merge pull request 'prepare-v0.2.0' (!15) from prepare-v0.2.0 into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/15
462eb2
Remove check_git_daemon.ml
8057f9
Set the condition to run test from 'or' to 'and'
75dfbf
Merge pull request 'links' (!14) from links into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/14
c2f615
Delete some last pieces of [assert false] Co-authored-by: Reynir Björnsson <reynir@reynir.dk>
91edab
Allow tests only on few systems which have git-daemon
4692a7
Delete possible old version of the PID file when we launch git-daemon
6fd676
Lint constraints on dependencies
79d7c0
Infinite loop to retry the PID file of git-daemon
77ab78
Remove rresult and delete few usage of astring
969868
Lint a bit the distribution (and fix some warnings introduced by dune.3.19)
53d1dc
Fix our tests
eb2817
Explicit when we got an error while we read the PID file on tests
fe992e
Apply ocamlformat
c5191c
Merge pull request 'Without the old version of me (means, functors, HKT and record as first-class module)' (!13) from without-git into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/13
8245fd
update README to conform to the current code (no functor anymore)
7acb87
changes for release 0.1.3
4fa5a5
Merge pull request 'defunctorise, remove mirage-clock dependency - use mirage-ptime instead' (!12) from defunctor into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/12 Reviewed-by: Reynir Björnsson <reynir@reynir.dk>
276dac
Quick fix mistakes It didn't compile :( Lwt.Infix was opened and not Lwt.Syntax. Also, Git.Value.Commit needs to be fully qualified.
75e609
Merge pull request 'Add CHANGES.md entry for v0.1.2' (!11) from prepare-v0.1.2 into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/11
7809c7
Merge pull request 'last_modified: don't find_blob; find the commit!' (!10) from fix-last_modified into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/10 Reviewed-by: dinosaure <romain.calascibetta@gmail.com>
aec833
Merge pull request 'fix mgit rng initialization, add mgit mtime command' (!9) from mgit-mtime into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/9
a6ebf3
add maintenance intent
f0259b
Merge pull request 'Prepare for release v0.1.1' (!7) from prepare-v0.1.1 into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/7
c6a821
Merge pull request 'Adjust Git_kv.commit to report staging status' (!8) from add-commit into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/8
f5281f
Merge pull request 'add function: commit : t -> Digestif.SHA1.t option' (!6) from add-commit into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/6 Reviewed-by: dinosaure <romain.calascibetta@gmail.com>
60795e
Merge pull request 'of_octets: create ring buffer earlier to avoid missing data' (!5) from fix-of-octets into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/5 Reviewed-by: Reynir Björnsson <reynir@reynir.dk> Reviewed-by: dinosaure <romain.calascibetta@gmail.com>
992127
Merge pull request 'remove no longer used code' (!4) from minor into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/4 Reviewed-by: dinosaure <romain.calascibetta@gmail.com>
bc190b
add changes for 0.1.0
b7d18b
Merge pull request 'only use a single commit in rename' (!3) from rename-single-commit into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/3 Reviewed-by: Reynir Björnsson <reynir@reynir.dk>
e0b23b
Merge pull request 'Refactor test/dune and add a failing test' (!2) from batch-test into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/2 Reviewed-by: dinosaure <romain.calascibetta@gmail.com> Reviewed-by: Hannes Mehnert <hannes@mehnert.org>
e2295f
Merge pull request 'Partially fix tests' (!1) from fix-test into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/1
492f57
Merge pull request 'Prepare v0.0.5' (#36) from prepare-v0.0.5 into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/36
0318c4
Merge pull request 'Stream in/out the PACK file' (#33) from lwt-pause-and-stream into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/33
8c941e
Merge pull request 'digest: return the raw digest, not hex encoded' (#35) from no-digest-hex into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/35
5652b5
Merge pull request 'Prepare v0.0.4' (#34) from prepare-v0.0.4 into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/34
4ba5f9
Merge pull request 'Add few Lwt.pause to give an opportunity for other processes to run' (#32) from pause into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/32
948dfd
Merge pull request 'Add the compression level argument into to_octets' (#31) from level into main Reviewed-on: https://git.robur.coop/robur/git-kv/pulls/31
08a8a8
roburio -> robur-coop
033c6b