ocaml-merge-queue
A local Git merge queue with content-bound gate verdicts
Star
Fork
Watch

Commits on main

Thomas Gazagnaire
merge-queue: the drain's chain builds: stands, a culprit's repair and test_culprits on the new types
committed
Thomas Gazagnaire
mq: the install and the rollback move the registered link only from the target they read
committed
Thomas Gazagnaire
mq/test: a rollback moves the link back over an install made while it asked (red)
committed
Thomas Gazagnaire
ocaml-merge-queue: the resolver library lives in lib/resolver, its tests in test/resolver
committed
Thomas Gazagnaire
mq: a lease held to stop owns what its task names until it is free
committed
Thomas Gazagnaire
mq/test: a lease stopped before its first sight held keeps its lease file (red)
committed
Thomas Gazagnaire
Derive train ranking inputs once per snapshot
committed
Thomas Gazagnaire
Test the cost of ranking a train snapshot
committed
Thomas Gazagnaire
merge-queue/test: task-cone.t's held ask has a bound only a hang reaches, so the page's go always finds its reader
committed
Thomas Gazagnaire
merge-queue: a check's lease names no deadline, its bound being its progress, so health calls no check that progresses past its wall overdue
committed
Thomas Gazagnaire
merge-queue/test: the silent loop's check waits for the loop it kills, which outlived the case
committed
Thomas Gazagnaire
merge-queue/test: a check's lease names no deadline, its bound being its progress (red)
committed
Thomas Gazagnaire
merge-queue/test: new.t's hanging hook meets a one-second hook_wall, the supervisor's, not a played 600 s
committed
Thomas Gazagnaire
Derive entry hold guard support once
committed
Thomas Gazagnaire
Test steady-state cost of constructing entry holds
committed
Thomas Gazagnaire
merge-queue/bench: train.exe counts the check runs it starts by kind
committed
Thomas Gazagnaire
merge-queue: a red train's failures clear the cars whose cone covers none of their files
committed
Thomas Gazagnaire
merge-queue/test: a red batch's failures clear the cars whose cone covers none of their files (red)
committed
Thomas Gazagnaire
merge-queue: a check the machine stopped is the verdict until its cause clears; Results.machine_attempts is deleted
committed
Thomas Gazagnaire
merge-queue/test: a check the machine stopped is not asked again until its cause clears (red)
committed
Thomas Gazagnaire
merge-queue: runs.md and design.md: a stuck or errored line is the verdict until its cause clears, with no count of attempts
committed
Thomas Gazagnaire
merge-queue: mq web follows a queue set up later on the kernel's report, not a tick
committed
Thomas Gazagnaire
merge-queue/test: mq web follows a queue set up later on no clock (red)
committed
Thomas Gazagnaire
merge-queue: mq web's documents are made in Command_web, beside the server
committed
Thomas Gazagnaire
merge-queue: a check waiting on a lease another holds waits on the kernel's report, not a tick
committed
Thomas Gazagnaire
merge-queue/test: a check waiting on a lease another holds waits on no clock (red)
committed
Thomas Gazagnaire
merge-queue: a task that ends before its lease is seen held has the answer its work left told, as the boot tells it
committed
Thomas Gazagnaire
merge-queue/test: a task that ends before its lease is seen held has its answer told, as the boot tells it (red)
committed
Thomas Gazagnaire
merge-queue: the shell tells a ref lock let go
committed
Thomas Gazagnaire
merge-queue/test: a write held on a ref lock awaits its release (red)
committed
Thomas Gazagnaire
merge-queue: a red forked serve finds which side fails
committed
Thomas Gazagnaire
merge-queue/test: a red forked serve finds which side fails (red)
committed
Thomas Gazagnaire
merge-queue/doc: nothing runs beside the machine; the sync is a process's task and the doctor's repairs its own
committed
Thomas Gazagnaire
merge-queue: Train decides whether an entry stands on its recorded base; the shell tells the base as it reads it
committed
Thomas Gazagnaire
merge-queue/test: whether an entry stands on its recorded base is the train's, from what the shell read (red)
committed
Thomas Gazagnaire
merge-queue: a red serve's culprit asks its check's repairers
committed
Thomas Gazagnaire
merge-queue/test: a red serve's culprit asks its check's repairers (red)
committed
Thomas Gazagnaire
merge-queue: a task repairs a red serve's culprit
committed
Thomas Gazagnaire
merge-queue: the run ends at the machine's idle cell; a pin queued after the boot is the next run's
committed
Thomas Gazagnaire
merge-queue/test: a run returns its machine ended, the end being the machine's (red)
committed
Thomas Gazagnaire
merge-queue: Work.S.wakes and Beside's woken go: no work counts the run's wake file
committed
Thomas Gazagnaire
merge-queue/test: no work counts the run's wake file (red)
committed
Thomas Gazagnaire
merge-queue: avoid display formatting for identity lookups
committed
Thomas Gazagnaire
merge-queue: constrain canonical identity construction costs
committed
Thomas Gazagnaire
merge-queue: a grant's record names its check and the slots, nowhere a rank
committed
Thomas Gazagnaire
merge-queue: a status reading reads the stamps and rows of the worktrees it names alone
committed
Thomas Gazagnaire
merge-queue/doc: an entry waits behind the entry ahead of it in the train, not one whose cone overlaps
committed
Thomas Gazagnaire
merge-queue: a check's lease, an owner and a cone are keyed with no formatter
committed
Thomas Gazagnaire
merge-queue: Train finds a standing candidate by its id, not by comparing every spec it holds
committed
Thomas Gazagnaire
merge-queue/bench: train.exe steps Train over a day's arrivals and prints a step's CPU by backlog
committed
Thomas Gazagnaire
merge-queue: the docs bound a pass over by state and drop carrying, with the measured reasons
committed
Thomas Gazagnaire
merge-queue/test: an entry passed over is replayed onto the tip the move lands, passed over by no train again
committed
Thomas Gazagnaire
merge-queue: a train's line names the entries it passes over and the car each waits on
committed
Thomas Gazagnaire
merge-queue: Train judges whether a red's repairs run; the shell performs them
committed
Thomas Gazagnaire
merge-queue/test: a red its change cannot cause asks no repair of Train (red)
committed
Thomas Gazagnaire
merge-queue: mq task check writes a run red outside the change as its note line, and the queue decides the stall
committed
Thomas Gazagnaire
merge-queue/test: under mq run a check red outside the change once writes its note line and stalls nothing (red)
committed
Thomas Gazagnaire
merge-queue: a stall's rules told at its commit ask its run whenever they arrive
committed
Thomas Gazagnaire
merge-queue/test: a stall's rules told after its record ask its run, whenever they arrive (red)
committed
Thomas Gazagnaire
merge-queue: a stall's probe runs under the bounds and platforms of its rules commit, never a default
committed