fuzz · ocaml-merge-queue · Tangled

ocaml-merge-queue

A local Git merge queue with content-bound gate verdicts

ocaml-merge-queue fuzz

2 folders · 24 files

Thomas Gazagnaire · mq/test: a lease stopped before its first sight held keeps its lease file (red) · 1d ago

merge-queue/fuzz: one dune action per property

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

merge-queue: the fuzz stanza links no eio_main nor wal

fuzz_build_config.ml

merge-queue: read every stored verdict through Results.verdict

fuzz_build_config.mli

merge-queue: a result's toolchain is the content of what the check's PATH resolves

fuzz_check_run.ml

merge-queue: read every stored verdict through Results.verdict

fuzz_check_run.mli

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

fuzz_confinement.ml

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

fuzz_confinement.mli

merge-queue: what a check may touch when its machine confines it

fuzz_failures.ml

merge-queue: a check run records the failures its log names

fuzz_failures.mli

merge-queue: a check run records the failures its log names

fuzz_generation.ml

merge-queue: a hand-out and a removal of its generation take one lock

fuzz_generation.mli

merge-queue/fuzz: adversarial properties of generation reaping

fuzz_identity.ml

merge-queue: avoid display formatting for identity lookups

fuzz_identity.mli

merge-queue: avoid display formatting for identity lookups

fuzz_index_read.ml

mq: retain one bounded index snapshot throughout a reading

fuzz_index_read.mli

mq: retain one bounded index snapshot throughout a reading

fuzz_queue_wait.ml

merge-queue/fuzz: the released-pins property draws a requeued entry as often as none

fuzz_queue_wait.mli

merge-queue: wait for scoped completion instead of global quiet

fuzz_resolve.ml

mq resolve: ask every model at once and continue an answer cut at its bound

fuzz_resolve.mli

merge-queue/fuzz: the resolver's invariants over random traces

merge-queue: Work.S.wakes and Beside's woken go: no work counts the run's wake file

merge-queue/fuzz: the floor reaps first, and a check the machine could not run charges no land

merge-queue: Slots journals each grant, and a slot hold says how many slots are free

merge-queue: index the journal in mq.db, and read mq events from it

merge-queue: avoid display formatting for identity lookups