test/sim · ocaml-merge-queue · Tangled

gazagnaire.org / ocaml-merge-queue

A local Git merge queue with content-bound gate verdicts

ocaml-merge-queue test sim

1 folder · 89 files

Thomas Gazagnaire · merge-queue: a cone ask that gives no answer is asked again · 1d ago

merge-queue/test: run the sim and mq-ocaml cases as actions of their own

merge-queue/test: a run that ends in a defect is no kill in the simulated world

merge-queue/test: a run that ends in a defect is no kill in the simulated world

merge-queue/test: an edge campaign asks each node of the DAG to converge

merge-queue/test: an edge campaign asks each node of the DAG to converge

merge-queue/test: a source adopts its target after a serve a land raced (red)

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

interpreter.mli

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

merge-queue/test: the simulator runs the scheduled pass (red)

merge-queue/test: the simulated world, one interpreter per machine

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

merge-queue: a run that ends with work queued after it read starts the next

merge-queue/test: the kill campaign of a land over the simulated world

merge-queue/test: the kill campaign of a land over the simulated world

merge-queue/test: the dequeue and the drop in the simulated world

merge-queue/test: the simulated world, one interpreter per machine

merge-queue/test: an edge campaign asks each node of the DAG to converge

merge-queue/test: an edge campaign asks each node of the DAG to converge

merge-queue/test: a source adopts its target after a serve a land raced (red)

merge-queue/test: a source adopts its target after a serve a land raced (red)

merge-queue/test: the dequeue and the drop in the simulated world

merge-queue/test: what a land leaves behind, in the simulated world

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: every check holds a build slot, and a land's checks run side by side

merge-queue: every check holds a build slot, and a land's checks run side by side

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

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

merge-queue/test: a scheduled run serves each edge due, and ends in an outcome

sim_deliver.mli

merge-queue/test: a scheduled run serves each edge due, and ends in an outcome

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

merge-queue/test: the kill campaign of a land over the simulated world

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

merge-queue/test: a commit made with Git on main holds nothing (red)

merge-queue/test: the simulated world dates a record by its tagger

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

merge-queue/test: the kill campaign of a land over the simulated world

merge-queue/test: the kill campaign of a land over the simulated world

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

merge-queue/test: the kill campaign of a land over the simulated world

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

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

merge-queue/test: a land that joins its entry journals nothing (red)

sim_machine.mli

merge-queue/test: a land that joins its entry journals nothing (red)

merge-queue/test: a starved job reserves its build slots, in the scheduling sim

merge-queue/test: a starved job reserves its build slots, in the scheduling sim

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

merge-queue/test: an edge campaign asks each node of the DAG to converge

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

sim_perform.mli

merge-queue: test the world's landings into a branch

merge-queue/test: a target's queue runs independent lands at once

merge-queue/test: a target's queue runs independent lands at once

merge-queue/test: the world's replay leaves out a change its target holds

merge-queue/test: the world's replay leaves out a change its target holds

merge-queue/sim: a land that only waited for the run lock stays queued

merge-queue/sim: a land that only waited for the run lock stays queued

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

merge-queue/test: the simulated world, one interpreter per machine

merge-queue/test: the dequeue and the drop in the simulated world

merge-queue/test: the dequeue and the drop in the simulated world

mq: a land's tidy reads only the worktree it may remove

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

merge-queue/test: the kill campaign of a land over the simulated world

merge-queue/test: the kill campaign of a land over the simulated world

test_converge.ml

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

test_converge.mli

merge-queue/test: an edge campaign asks each node of the DAG to converge

test_landings.ml

merge-queue: test the world's landings into a branch

test_landings.mli

merge-queue: test the world's landings into a branch

merge-queue/test: a job's checks take their slots together (red)

merge-queue/test: test_load's interface says what it is

merge-queue/test: a starved job reserves its build slots, in the scheduling sim

merge-queue/test: ready checks go shortest remaining job first (red)

merge-queue/test: a target's queue runs independent lands at once

merge-queue: clear the lint findings new on staging

test_sim_adopt.ml

merge-queue/test: a source adopts its target after a serve a land raced (red)

test_sim_adopt.mli

merge-queue/test: a source adopts its target after a serve a land raced (red)

test_sim_cost.ml

merge-queue/test: a run's records between two actions are one append (red)

test_sim_cost.mli

merge-queue: name the cost cases after the module they test

test_sim_edge.ml

merge-queue/test: a commit made with Git on main holds nothing (red)

test_sim_edge.mli

merge-queue/test: a red edge's probes are journaled and shown (red)

test_sim_kill.ml

merge-queue/test: the kill pages the simulated campaign replaces go

test_sim_kill.mli

merge-queue/test: the kill campaign of a land over the simulated world

merge-queue/test: run the sim and mq-ocaml cases as actions of their own

merge-queue/test: run the sim and mq-ocaml cases as actions of their own

merge-queue/test: a source adopts its target after a serve a land raced (red)

merge-queue/test: properties and a seeded simulation of the land

merge-queue/test: the simulated world dates a record by its tagger

merge-queue/test: the simulated world dates a record by its tagger

merge-queue/test: an edge campaign asks each node of the DAG to converge

merge-queue/test: an edge campaign asks each node of the DAG to converge