lib/eio · ocaml-merge-queue · Tangled

gazagnaire.org / ocaml-merge-queue

A local Git merge queue with content-bound gate verdicts

ocaml-merge-queue lib eio

127 files

Thomas Gazagnaire · merge-queue: a tidy reads Git's configuration once for every branch · 18h ago

merge-queue/test: the queue under a day's load, in the simulator

merge-queue/test: waiting checks take slots shortest first (red)

checkpoint_writer.ml

merge-queue: persist checkpoint directory before writer ID

checkpoint_writer.mli

merge-queue: persist checkpoint directory before writer ID

merge-queue: a run whose build did not settle ends unsettled, never a red

merge-queue-eio: distinguish generation lock waits in checks

merge-queue-eio: a build slot's wait is measured in whole seconds

merge-queue-eio: a build slot's wait is measured in whole seconds

command_dequeue.ml

merge-queue-eio: mq dequeue and mq drop

command_dequeue.mli

merge-queue-eio: mq dequeue and mq drop

command_doctor.ml

merge-queue: rules that do not load name the doctor, and the rules branch can be fixed

command_doctor.mli

merge-queue: mq doctor reports rules that do not load

command_drop.ml

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

command_drop.mli

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

command_events.ml

merge-queue: skip a journal record of a type mq does not know

command_events.mli

merge-queue: the neon views on the new engine, and --format

command_field.ml

merge-queue: mq field sets the fields of an existing branch's description

command_field.mli

merge-queue: mq field sets the fields of an existing branch's description

command_forget.ml

merge-queue-eio: mq forget sets a tree's stored check results aside

command_forget.mli

merge-queue-eio: mq forget sets a tree's stored check results aside

command_hook.ml

merge-queue: mq's own ref writes start no hook mq init wrote

command_hook.mli

merge-queue: a reference transaction that names no probe is not read before it commits

command_init.ml

merge-queue: a refused SSH host key ends a call refused, not unavailable

command_init.mli

merge-queue: mq init URL clones the repository and sets the queue up there

command_land.ml

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

command_land.mli

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

merge-queue: rules that do not load name the doctor, and the rules branch can be fixed

command_new.mli

merge-queue-eio: one module per interpreter and per command

command_pull.ml

merge-queue: an upgrade ends the run at the next check's end

command_pull.mli

merge-queue: mq pull takes the agreed copy and replays this machine's landings

command_push.ml

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

command_push.mli

merge-queue-eio: one module per interpreter and per command

merge-queue: the scheduler's process is the run

command_run.mli

merge-queue: the scheduler's process is the run

command_schedule.ml

merge-queue: the platform is read under the bound every scheduler command has

command_schedule.mli

merge-queue-eio: mq run and mq schedule start|stop

command_slot.ml

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

command_slot.mli

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

command_stats.ml

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

command_stats.mli

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

command_status.ml

merge-queue: the scheduled run's wrapper keeps the earlier logs

command_status.mli

merge-queue: mq status --watch, on the neon screen

merge-queue-eio: one module per interpreter and per command

command_tag.mli

merge-queue-eio: one module per interpreter and per command

merge-queue: mq's own ref writes start no hook mq init wrote

merge-queue: mq's own ref writes start no hook mq init wrote

merge-queue-eio: the last three Stdlib probes read through Eio

merge-queue: the neon views on the new engine, and --format

dependency_composition.ml

merge-queue: a consumer land keeps its lock, and a bump takes the dependency's checked tip

dependency_composition.mli

merge-queue: a consumer land keeps its lock, and a bump takes the dependency's checked tip

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

merge-queue: skip a journal record of a type mq does not know

merge-queue: skip a journal record of a type mq does not know

merge-queue: a check mq stops leaves its record and its cause

merge-queue: a run records where its time goes

machine_checks.ml

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

machine_checks.mli

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

merge-queue-eio: a check reuses only a settled build directory

merge-queue-eio: a check reuses only a settled build directory

perform_beside.ml

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

perform_beside.mli

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

perform_conflict.ml

merge-queue: a run reads the worktrees once for its whole queue

perform_conflict.mli

merge-queue: a run reads the worktrees once for its whole queue

perform_deliver.ml

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

perform_deliver.mli

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

perform_doctor.ml

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

perform_doctor.mli

Read repository facts and repair passed-over hook events

perform_drop.ml

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

perform_drop.mli

merge-queue-eio: mq dequeue and mq drop

perform_expiry.ml

merge-queue: a run records where its time goes

perform_expiry.mli

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

perform_feature.ml

merge-queue: wait for a held run lock and pool lock at the holder's release

perform_feature.mli

Interpret feature halves through their captured native contexts

perform_follow.ml

merge-queue: a waiting land names its place, then the run's step

perform_follow.mli

merge-queue-eio: a land on a machine with a scheduler follows the run it starts

perform_generation.ml

merge-queue-eio: a generation's protection is read in one batch

perform_generation.mli

merge-queue: a check busy on a dependency's lease keeps the land queued

perform_init.ml

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

perform_init.mli

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

perform_land.ml

merge-queue: a land's move extends the commit-graph through the library

perform_land.mli

merge-queue: a queue read names each entry's worktree and reads none of its files

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

perform_new.mli

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

perform_no_verify.ml

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

perform_no_verify.mli

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

perform_pass.ml

merge-queue: an upgrade ends the run at the next check's end

perform_pass.mli

merge-queue-eio: mq run and mq schedule start|stop

perform_pool.ml

merge-queue: one pool of parked worktrees

perform_pool.mli

merge-queue: one pool of parked worktrees

perform_pull.ml

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

perform_pull.mli

merge-queue: mq pull takes the agreed copy and replays this machine's landings

perform_push.ml

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

perform_push.mli

merge-queue: mq pull takes the agreed copy and replays this machine's landings

perform_resolve.ml

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

perform_resolve.mli

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

merge-queue-eio: a run a defect ends journals its end

perform_run.mli

merge-queue-eio: a run a defect ends journals its end

perform_settle.ml

merge-queue: a landing's settlement is one reference transaction

perform_settle.mli

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

perform_then.ml

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

perform_then.mli

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

perform_tidy.ml

merge-queue: a landing's settlement is one reference transaction

perform_tidy.mli

merge-queue: a landing's settlement is one reference transaction

merge-queue: a tidy reads Git's configuration once for every branch

merge-queue-eio: the last three Stdlib probes read through Eio

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

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

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

merge-queue: an edge that ended red waits for its source to move

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

merge-queue-eio: the reads several interpreters share live in Perform

merge-queue: a tidy reads Git's configuration once for every branch

merge-queue: a tidy reads Git's configuration once for every branch

merge-queue: rules that do not load name the doctor, and the rules branch can be fixed

merge-queue: format paired composition and its native cases

merge-queue: Fmt.kstr where the lint asks for it

rules_check.mli

merge-queue: the rules check's reason is its first finding, whole

merge-queue: wait for a held run lock and pool lock at the holder's release

merge-queue: wait for a held run lock and pool lock at the holder's release

merge-queue-eio: the last three Stdlib probes read through Eio

merge-queue: one reader of the platform, on the command's own PATH

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

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

visibility_github.ml

merge-queue: reuse the visibility provider session

visibility_github.mli

merge-queue: reuse the visibility provider session

merge-queue: refuse GitHub internal destinations

merge-queue: mq push goes where git push goes