Sign in
Join now
ocaml-merge-queue
gazagnaire.org
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
A local Git merge queue with content-bound gate verdicts
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
ocaml-merge-queue
/
test
/
settle
3 files
at
main
Thomas Gazagnaire
·
mq: a branch based on a lane lands into the lane's target, after it
·
1w ago
321d64ae
dune
fsm: a runtime that steps, and fsm.check that proves the same description
1w ago
settle.ml
mq: a branch based on a lane lands into the lane's target, after it
1w ago
settle.mli
merge-queue/test: a land's first step leaves its graph unsettled
2w ago