scripts · monopampam · Tangled

My own corner of monopam

monopampam scripts

16 files

Thomas Gazagnaire · mq.toml, .githooks, scripts, merge-queue: entries land on staging · 1mo ago

check-docker-test-cache.sh

docker-test: test the compiler cache boundary

check-docker-test-compiler-pin.sh

docker-test: test compiler pin reuse

check-downstream-compiles.sh

scripts, uniboot: improve comments

check-main-moves-by-mq.sh

mq.toml, .githooks, scripts, merge-queue: entries land on staging

check-mutation-harness.sh

scripts, uniboot: improve comments

check-no-tracker-id.sh

scripts, uniboot: improve comments

downstream-compiles.sh

scripts, uniboot: improve comments

git-env-strip.sh

scripts, uniboot: improve comments

macos-ocamlopt-link

build: fully strip macOS release executables

mq-build-probe.sh

scripts/mq-*: entries land on unstable on check and fmt, main takes it hourly on suite and lint

mq-gate-packages.py

scripts/mq-gate.sh: serve a tree whose root is its one package, and check what its build writes

scripts/mq-gate.sh: serve a tree whose root is its one package, and check what its build writes

mq.toml: name only this tree's own tracker

mq-with-opam.sh

merge-queue: scope vendor gates by changed package

mutation-harness.sh

scripts, uniboot: improve comments

no-tracker-id.sh

scripts, uniboot: improve comments