test/queue · ocaml-merge-queue · Tangled

ocaml-merge-queue

A local Git merge queue with content-bound gate verdicts

ocaml-merge-queue test queue

1 folder · 47 files

Thomas Gazagnaire · merge-queue: the drain's chain builds: stands, a culprit's repair and test_culprits on the new types · 3d ago

merge-queue: a move writes each land's intent, which a task of the queue settles: its keep, its tidy, its park

merge-queue/test: each step that answers changes the queue's state

merge-queue/test: each step that answers changes the queue's state

mq: specify bounded grant decision records

gc_scenarios.ml

mq/test: a lease stopped before its first sight held keeps its lease file (red)

gc_scenarios.mli

mq/test: a lease stopped before its first sight held keeps its lease file (red)

merge-queue: Queue and its six machines, interfaces whose functions are stubs

merge-queue: Queue and its six machines, interfaces whose functions are stubs

test_channel.ml

mq: retain resources until deletion is confirmed

test_channel.mli

mq: retain resources until deletion is confirmed

merge-queue: a check the machine stopped is the verdict until its cause clears; Results.machine_attempts is deleted

test_checks.mli

merge-queue: the queue is the composition of eleven Fsm.Process processes wired by Channel's classes

test_composition.ml

merge-queue/test: the composition's scenarios run on Edges, one per repository; the fsm model is deleted

test_composition.mli

merge-queue/test: the composition's scenarios run on Edges, one per repository; the fsm model is deleted

test_control.ml

merge-queue: the run ends at the machine's idle cell; a pin queued after the boot is the next run's

test_control.mli

merge-queue: the queue is the composition of eleven Fsm.Process processes wired by Channel's classes

test_culprits.ml

merge-queue: the drain's chain builds: stands, a culprit's repair and test_culprits on the new types

test_culprits.mli

merge-queue/test: Train over generated queues with several reds lands every green and ends every red

test_delivery.ml

merge-queue: the delivery keeps the records it owes, not every id it was told

test_delivery.mli

merge-queue: Queue and its six machines, interfaces whose functions are stubs

merge-queue: a red forked serve finds which side fails

merge-queue: the queue is the composition of eleven Fsm.Process processes wired by Channel's classes

mq/test: a lease stopped before its first sight held keeps its lease file (red)

mq: retain resources until deletion is confirmed

Derive entry hold guard support once

merge-queue: Queue and its six machines, interfaces whose functions are stubs

merge-queue/test: the decided law reads Checks' verdict, not the note lines again

merge-queue/test: the composed queue settles, starts a lease once, journals a hold once per change, holds what it discharges and boots back to its trains, over generated runs

merge-queue: a grant's record names its check and the slots, nowhere a rank

merge-queue: Queue and its six machines, interfaces whose functions are stubs

test_resources.ml

mq: retain resources until deletion is confirmed

test_resources.mli

merge-queue: Queue and its six machines, interfaces whose functions are stubs

merge-queue/test: the entries queued say whether the head's checks are decided, and Slots keeps no slot for a decided head (red)

merge-queue: the queue is the composition of eleven Fsm.Process processes wired by Channel's classes

merge-queue/test: a stall's rules told after its record ask its run, whenever they arrive (red)

test_stalls.mli

merge-queue: the queue is the composition of eleven Fsm.Process processes wired by Channel's classes

mq: a lease held to stop owns what its task names until it is free

merge-queue: Queue and its six machines, interfaces whose functions are stubs

Derive train ranking inputs once per snapshot

merge-queue: Train's member, plan and decide each hold one concern

merge-queue/test: a drain's lane runs the checks drain names unless its chain changes mq (red)

test_wiring.mli

merge-queue: the queue is the composition of eleven Fsm.Process processes wired by Channel's classes

merge-queue: the queue is the composition of eleven Fsm.Process processes wired by Channel's classes

merge-queue/test: a write is equal by its records and the kinds it removes, and pp names both (red)

merge-queue: a string formatted for a function is formatted by Fmt.kstr

test_writes.mli

merge-queue: the queue is the composition of eleven Fsm.Process processes wired by Channel's classes

mq: retain resources until deletion is confirmed

merge-queue: Queue and its six machines, interfaces whose functions are stubs