alpha
Login
Join now
gazagnaire.org
/
ocaml-tracker
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Git-native issue tracker
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Commits on
main
Thomas Gazagnaire
7f3867f3
tracker: a holder's second claim writes nothing
main
14h ago
tracker: a holder's second claim writes nothing
main
Copy SHA
Browse repository
Thomas Gazagnaire
committed
14h ago
Thomas Gazagnaire
3439e8f5
tracker/test: a holder's second claim succeeds and writes nothing (red)
14h ago
tracker/test: a holder's second claim succeeds and writes nothing (red)
Copy SHA
Browse repository
Thomas Gazagnaire
committed
14h ago
Thomas Gazagnaire
ca98efc3
respond: a request's Host names loopback
14h ago
respond: a request's Host names loopback
Copy SHA
Browse repository
Thomas Gazagnaire
committed
14h ago
Thomas Gazagnaire
3d92facf
tracker: keep an imported closure's absent reason absent
14h ago
tracker: keep an imported closure's absent reason absent
Copy SHA
Browse repository
Thomas Gazagnaire
committed
14h ago
Thomas Gazagnaire
dd6291d5
tracker/test: an imported closure with no recorded reason (red)
14h ago
tracker/test: an imported closure with no recorded reason (red)
Copy SHA
Browse repository
Thomas Gazagnaire
committed
14h ago
Thomas Gazagnaire
edc6c268
Tag every package with its ACM CCS 2012 capability, and its domain
14h ago
Tag every package with its ACM CCS 2012 capability, and its domain
Copy SHA
Browse repository
Thomas Gazagnaire
committed
14h ago
Thomas Gazagnaire
c36e6ac6
Tag the 24 packages whose readings disagreed with their ruled area
2d ago
Tag the 24 packages whose readings disagreed with their ruled area
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
69e962ee
tracker/test: the typing.md toplevel loads hermetic.eio
2d ago
tracker/test: the typing.md toplevel loads hermetic.eio
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
458cacf5
tracker: depend on base-unix, not on an opam package named unix
2d ago
tracker: depend on base-unix, not on an opam package named unix
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
f902ddf6
tracker: delayed sync schedules run a 4-seed smoke in runtest
2d ago
tracker: delayed sync schedules run a 4-seed smoke in runtest
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
e3ce67a9
tracker, hermetic: no cram page is named after the check alias
2d ago
tracker, hermetic: no cram page is named after the check alias
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
8485eed5
nox-git-eio: open a fetch source as git's local transport finds it
2d ago
nox-git-eio: open a fetch source as git's local transport finds it
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
081a3198
tracker/test: show agreement and divergence through the CLI
2d ago
tracker/test: show agreement and divergence through the CLI
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
2bf506fe
tracker/test: format atomic refusal assertion
2d ago
tracker/test: format atomic refusal assertion
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
067ce2c5
tracker/test: refuse premature work transitions
2d ago
tracker/test: refuse premature work transitions
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
83df65ba
tracker/test: name the atomic artifact refusal
2d ago
tracker/test: name the atomic artifact refusal
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
823e7fd9
tracker: validate one human decision and freeze the view before writing
2d ago
tracker: validate one human decision and freeze the view before writing
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
52093ea0
tracker: give each work command its own module
2d ago
tracker: give each work command its own module
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
44f0287c
tracker: type the extracted private view
2d ago
tracker: type the extracted private view
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
a8dda1e8
tracker: type the extracted row view
2d ago
tracker: type the extracted row view
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
a14458bf
tracker: keep exploration handlers focused
2d ago
tracker: keep exploration handlers focused
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
a524a59b
tracker: format exploration paths
2d ago
tracker: format exploration paths
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
dd05d556
tracker/test: resolve projected row fields
2d ago
tracker/test: resolve projected row fields
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
81fb94de
tracker: index published exploration phases locally
2d ago
tracker: index published exploration phases locally
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
df708cb6
tracker/test: specify local exploration phase projection
2d ago
tracker/test: specify local exploration phase projection
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
34549408
tracker: give rostered workers a sealed brief and published read
2d ago
tracker: give rostered workers a sealed brief and published read
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
b12c2034
tracker/test: guard private drafts and published reads
2d ago
tracker/test: guard private drafts and published reads
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
593dba34
tracker/test: name the frozen roster and human in work page
2d ago
tracker/test: name the frozen roster and human in work page
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
ad02ed0e
tracker/test: declare the current fixture label schema
2d ago
tracker/test: declare the current fixture label schema
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
cb6f0d85
tracker: print the resolved store path as a path
2d ago
tracker: print the resolved store path as a path
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
776696cf
tracker: read exploration input in its command module
2d ago
tracker: read exploration input in its command module
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
08b27483
tracker: guide independent exploration from tk work
2d ago
tracker: guide independent exploration from tk work
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
d481b32c
tracker/test: use the current store fixture callback
2d ago
tracker/test: use the current store fixture callback
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
ee89c6c5
tracker: carry exploration state in canonical rows
2d ago
tracker: carry exploration state in canonical rows
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
54e2ee6f
tracker: publish exploration artifacts in one transaction
2d ago
tracker: publish exploration artifacts in one transaction
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
d18557f2
tracker/test: specify independent exploration through tk
2d ago
tracker/test: specify independent exploration through tk
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
2cd32d98
tracker: the store path APIs take Fpath.t
2d ago
tracker: the store path APIs take Fpath.t
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
4d219c19
tracker/test: three public APIs take store paths as Fpath.t (red)
2d ago
tracker/test: three public APIs take store paths as Fpath.t (red)
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
af7edf96
tracker/test: describe public row output without History
2d ago
tracker/test: describe public row output without History
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
8aaf6101
tracker/serve: keep Git history out of public row pages
2d ago
tracker/serve: keep Git history out of public row pages
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
fbe245df
tracker/test: expose private subjects in public row history
2d ago
tracker/test: expose private subjects in public row history
Copy SHA
Browse repository
Thomas Gazagnaire
committed
2d ago
Thomas Gazagnaire
1bd94b03
Compile every Eio library of the tree under hermetic.eio
3d ago
Compile every Eio library of the tree under hermetic.eio
Copy SHA
Browse repository
Thomas Gazagnaire
committed
3d ago
Thomas Gazagnaire
a8d8c4c9
tracker: improve docs
3d ago
tracker: improve docs
Copy SHA
Browse repository
Thomas Gazagnaire
committed
3d ago
Thomas Gazagnaire
d7fb9fbc
tracker/test: the README's session is checked
4d ago
tracker/test: the README's session is checked
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
8a318091
tracker: improve docs
4d ago
tracker: improve docs
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
434db048
tracker, monopam: tests wait for the git servers' announcement
4d ago
tracker, monopam: tests wait for the git servers' announcement
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
897dcecf
tracker/test: every page owns its git configuration
4d ago
tracker/test: every page owns its git configuration
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
a1442f8b
tracker/test: tk.t names its writer before its first write
4d ago
tracker/test: tk.t names its writer before its first write
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
a7214d6d
tracker/test: no git process the write page starts outlives it (red)
4d ago
tracker/test: no git process the write page starts outlives it (red)
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
8fe8d5b5
ocaml-git, merge-queue: an SSH failure names its cause, and a denied key is refused
4d ago
ocaml-git, merge-queue: an SSH failure names its cause, and a denied key is refused
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
2dbdf8af
tracker/test: a writer before the projection's rename is refused
4d ago
tracker/test: a writer before the projection's rename is refused
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
7d687210
git-eio, tracker: name the author's email as git var GIT_AUTHOR_IDENT does
4d ago
git-eio, tracker: name the author's email as git var GIT_AUTHOR_IDENT does
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
44a0201c
tracker/test: a writer's email is the one git var GIT_AUTHOR_IDENT names (red)
4d ago
tracker/test: a writer's email is the one git var GIT_AUTHOR_IDENT names (red)
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
d1db6330
tracker: tk stats refuses a prerequisite no linked store can judge
4d ago
tracker: tk stats refuses a prerequisite no linked store can judge
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
94167218
tracker/test: tk stats refuses a prerequisite no linked store can judge (red)
4d ago
tracker/test: tk stats refuses a prerequisite no linked store can judge (red)
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
d4a7e746
tracker: a missing tracker link is refused by its path and error
4d ago
tracker: a missing tracker link is refused by its path and error
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
53552495
tracker: a missing tracker link is refused by its path and error (red)
4d ago
tracker: a missing tracker link is refused by its path and error (red)
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
13d55a5d
tracker: roll the replaced projection's journal back before the rename
4d ago
tracker: roll the replaced projection's journal back before the rename
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
7ae35ccf
tracker/test: a reader in the rebuild's window never reads the torn projection (red)
4d ago
tracker/test: a reader in the rebuild's window never reads the torn projection (red)
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Thomas Gazagnaire
1f9e6896
tracker: type every retry bound and sync refusal in Store_git
4d ago
tracker: type every retry bound and sync refusal in Store_git
Copy SHA
Browse repository
Thomas Gazagnaire
committed
4d ago
Previous
1
2
3
4
5
6
7
Next