lib · ocaml-merge-queue · Tangled

gazagnaire.org / ocaml-merge-queue

A local Git merge queue with content-bound gate verdicts

ocaml-merge-queue lib

3 folders · 173 files

Thomas Gazagnaire · merge-queue: a consumer's check reads each dependency's same-name branch · 3d ago

merge-queue: a consumer's check reads each dependency's same-name branch

merge-queue/test: where a landing's queued time went (red)

merge-queue: the page's script names no source-map flag of its own

merge-queue: Project is deleted; a land, a drop and a hand-out act in one repository

merge-queue: Project is deleted; a land, a drop and a hand-out act in one repository

merge-queue: share the site layout refusal formatter

merge-queue/test: a tracked site link reaches its consumer sibling

merge-queue: deliver each event on its own, in order per subject

merge-queue: deliver each event on its own, in order per subject

merge-queue: a red edge's probes are journaled and shown

merge-queue: a red edge's probes are journaled and shown

merge-queue: a report's JSON is written and read by one codec

merge-queue: a report's JSON is written and read by one codec

build_config.ml

merge-queue: refuse ambiguous build definitions on readback

build_config.mli

merge-queue: digest a build configuration through its JSON codec

merge-queue: a check event says where dune's time went

merge-queue: a check event says where dune's time went

merge-queue: the land as doc/design.md's second pass draws it

merge-queue: the land as doc/design.md's second pass draws it

merge-queue: a check run stopped at its wall keeps its log and says where it was

merge-queue: a check run stopped at its wall keeps its log and says where it was

merge-queue: an inherited check exits 79 and names its failures

merge-queue: an inherited check exits 79 and names its failures

merge-queue: a check run stopped at its wall keeps its log and says where it was

merge-queue: a job's checks take their build slots together

merge-queue: a report's JSON is written and read by one codec

merge-queue: a report's JSON is written and read by one codec

merge-queue: a cone ask that gives no answer is asked again

merge-queue: a cone ask that gives no answer is asked again

merge-queue: a check run's build figures, from the traces it leaves

confinement.mli

merge-queue/test: a check run's build figures, from the traces it leaves (red)

merge-queue: Conflict, the record of a conflict and what a rebase is to a land

merge-queue: bound the refs mq keeps once their use is spent

merge-queue: deliver each event on its own, in order per subject

merge-queue: deliver each event on its own, in order per subject

dependency_graph.ml

merge-queue: key dependency graphs by declared repository identity

dependency_graph.mli

merge-queue: key dependency graphs by declared repository identity

merge-queue: a report's JSON is written and read by one codec

description.mli

merge-queue: Description.set, the report verb set and the mq field page, failing

merge-queue: doctor --repair redelivers each event in a run of its own

merge-queue: doctor --repair redelivers each event in a run of its own

merge-queue: a dequeue reads only its own refs and journals its stages

merge-queue: a dequeue reads only its own refs and journals its stages

merge-queue: a machine key whose value does not parse is refused, with the command that removes it

merge-queue: a dropped record keeps the description its restore writes back

merge-queue: build a land's control graph on first use

merge-queue: refuse durations outside native seconds

merge-queue: format duration boundary cases

merge-queue: a run runs the resolver for the conflict it meets

merge-queue: a run runs the resolver for the conflict it meets

merge-queue: a cone ask that gives no answer is asked again

merge-queue: a cone ask that gives no answer is asked again

merge-queue: Bisect and Expedite, the bisection and the budget in the model's types

merge-queue: Bisect and Expedite, the bisection and the budget in the model's types

merge-queue: a run's end says why it ended

merge-queue: a landing expires by its local target, in one walk

merge-queue: name a red by the failures its check marks

merge-queue: name a red by the failures its check marks

feature_owner.ml

entry: retain the declared consumer of a dependency half

feature_owner.mli

entry: retain the declared consumer of a dependency half

merge-queue: a run writes its consecutive records in one append

Label preflight effects before the feature acquires its group

merge-queue: mq stats splits a landing's queued time by what held it

merge-queue/test: where a landing's queued time went (red)

mq: serve land --wait-for on a machine with a scheduler

mq: serve land --wait-for on a machine with a scheduler

merge-queue: a hunk beside a conflict names the lines it changed

merge-queue: Four_point keeps the resolver's test and drops the old record

merge-queue: a consumer's ignored files are not changes

merge-queue/test: an ignored file in a consumer is no change (red)

merge-queue: the pool's serial under refs/mq/pool

merge-queue: the pool's serial under refs/mq/pool

merge-queue: a cone ask that gives no answer is asked again

merge-queue: a cone ask that gives no answer is asked again

merge-queue: a run journals why each queued entry waits

merge-queue: a run journals why each queued entry waits

merge-queue: deliver each event on its own, in order per subject

merge-queue: deliver each event on its own, in order per subject

merge-queue: format each message once, through the Fmt helper that fits

merge-queue: the land as doc/design.md's second pass draws it

merge-queue: start no tracked hook whose one consumer is mq

merge-queue/test: a land starts no tracked hook whose one consumer is mq (red)

merge-queue: lands waiting for a target's turn move together

merge-queue: name the intents' ref write and link the intent's fields

merge-queue: commits and trees are distinct types in the model and Repo

merge-queue: Project is deleted; a land, a drop and a hand-out act in one repository

merge-queue: a culprit record without onto reads as a culprit only a landing clears

merge-queue: a consumer's check reads each dependency's same-name branch

merge-queue: a source adopts its target after a serve a land raced

merge-queue: a source adopts its target after a serve a land raced

merge-queue: a land says its checks' wall and where its time went

merge-queue: a land says its checks' wall and where its time went

local_config.ml

merge-queue: build slots live in the repository's Git directory

local_config.mli

merge-queue: build slots live in the repository's Git directory

mq-ocaml: a lock change checks what it moves in the dependency

mq-ocaml: a lock change checks what it moves in the dependency

merge-queue: a run writes its consecutive records in one append

merge-queue: a run writes its consecutive records in one append

merge-queue: a machine that joins a queue can start work

merge-queue: mq new hands out anew a worktree whose directory is gone

merge-queue: mq land NAME --onto TARGET --no-verify

merge-queue: test mq land --no-verify before it exists

merge-queue: mq pull --notes-from joins a writer's checkpoint results

merge-queue: mq pull --notes-from joins a writer's checkpoint results

merge-queue: a job's checks take their build slots together

merge-queue: a job's checks take their build slots together

merge-queue: a red's check, log and failures reach the hook in its events

merge-queue: a red's check, log and failures reach the hook in its events

merge-queue: a cone ask that gives no answer is asked again

merge-queue: a cone ask that gives no answer is asked again

merge-queue: a check event records the times mq took to run it

merge-queue: a check event records the times mq took to run it

merge-queue: mq new hands out anew a worktree whose directory is gone

merge-queue: mq new hands out anew a worktree whose directory is gone

merge-queue: a job's checks take their build slots together

merge-queue: a land starts while fewer than mq.slots checks wait for a slot

merge-queue: build slots live in the repository's Git directory

merge-queue: build slots live in the repository's Git directory

merge-queue: a land red only as its target's tip is is held, not charged

merge-queue: a red edge's probes are journaled and shown

merge-queue: a machine that joins a queue can start work

merge-queue: a machine that joins a queue can start work

merge-queue: mq status says where each branch is pushed

merge-queue: mq status says where each branch is pushed

merge-queue: mq stats --flow, where the changes' time went along the DAG

merge-queue: mq stats --flow, where the changes' time went along the DAG

merge-queue: the run reaps the trees a land set aside, beside its work

merge-queue: the run reaps the trees a land set aside, beside its work

merge-queue: deliver each event on its own, in order per subject

merge-queue: deliver each event on its own, in order per subject

merge-queue: a hook that calls mq is installed, and mq doctor says whether it is

merge-queue: a hook that calls mq is installed, and mq doctor says whether it is

registration.ml

merge-queue: a run on launchd renews its agent once it has ended

registration.mli

merge-queue: a run on launchd renews its agent once it has ended

merge-queue: doctor --repair redelivers each event in a run of its own

merge-queue: doctor --repair redelivers each event in a run of its own

repository_identity.ml

entry: separate record options from required identity fields

repository_identity.mli

entry: retain the declared consumer of a dependency half

merge-queue: the resolver's calls and the landings' numeric fields in stats

merge-queue/test: the resolver's calls and the landings' numeric fields in stats (red)

resolver_call.ml

merge-queue: make outside text visible where it enters, print it as held

resolver_call.mli

merge-queue: make outside text visible where it enters, print it as held

merge-queue: a land red only as its target's tip is is held, not charged

merge-queue: a land red only as its target's tip is is held, not charged

mq: serve land --wait-for on a machine with a scheduler

mq: serve land --wait-for on a machine with a scheduler

merge-queue: a run writes its consecutive records in one append

merge-queue: mq run delivers to the hook, and an idle run journals nothing

merge-queue: a source adopts its target after a serve a land raced

merge-queue: a source adopts its target after a serve a land raced

merge-queue: a land red only as its target's tip is is held, not charged

merge-queue: Search observes its probes and names the culprit

merge-queue: journal each landing stage after checks

merge-queue: journal each landing stage after checks

merge-queue: a machine key whose value does not parse is refused, with the command that removes it

merge-queue: a machine key whose value does not parse is refused, with the command that removes it

merge-queue: the land as doc/design.md's second pass draws it

merge-queue: the land as doc/design.md's second pass draws it

merge-queue: build slots live in the repository's Git directory

merge-queue: build slots live in the repository's Git directory

merge-queue: record a run's start before its first check

merge-queue: record a run's start before its first check

status_document.ml

merge-queue/test: mq status says where each branch is pushed (red)

status_document.mli

merge-queue/test: mq status says where each branch is pushed (red)

merge-queue: mq status says where each branch is pushed

merge-queue: mq status says where each branch is pushed

merge-queue: a report's JSON is written and read by one codec

merge-queue: document submission facts and share record value readers

merge-queue: Project is deleted; a land, a drop and a hand-out act in one repository

merge-queue: Project is deleted; a land, a drop and a hand-out act in one repository

merge-queue: a land's tidy removes its worktree beside the loop

merge-queue: a land's tidy removes its worktree beside the loop

merge-queue: a report's JSON is written and read by one codec

merge-queue: a report's JSON is written and read by one codec

merge-queue: a run's end says why it ended

merge-queue: a run's end says why it ended