Sign in
Join now
monopampam
gazagnaire.org
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
My own corner of monopam
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
1
1
Pipelines
Pipelines
monopampam
/
scripts
3 folders
·
48 files
at
main
Thomas Gazagnaire
·
ocaml-crow: carry the AFL shm preload and set it for every afl tool crow starts
·
4d ago
3669346b
areas-json.t
scripts: tests for areas.json generated from ACM CCS 2012, and for node tags
2w ago
cache-storage.t
scripts/cache-storage.t: a dune that reads no user config lets no rule into the cache (red)
3w ago
vocabulary
scripts: tests for areas.json generated from ACM CCS 2012, and for node tags
2w ago
area_tags.ml
scripts: generate areas.json from ACM CCS 2012, and check node tags by axis
2w ago
area-tags.t
scripts: tests for areas.json generated from ACM CCS 2012, and for node tags
2w ago
areas_json.ml
scripts: generate areas.json from ACM CCS 2012, and check node tags by axis
2w ago
build-lock.py
scripts/mq-lint: move a parent tree only under dune's lock
3w ago
build-lock.t
scripts: delete the mq-gate scripts mq ocaml replaced, and those nothing calls
1w ago
check-cram-env-key.sh
scripts: carry the compiled witness into root cram fixtures
3w ago
check-docker-test-cache.sh
docker-test: test the compiler cache boundary
2mo ago
check-docker-test-compiler-pin.sh
docker-test: test compiler pin reuse
2mo ago
check-link-exports.sh
scripts/check-link-exports.sh: a Darwin developer link keeps no OCaml data name (red)
1w ago
check-mq-dune-stall.sh
scripts: a dune that has stopped making progress is ended (red)
3w ago
check-mq-dune.sh
scripts/check-mq-dune.sh: a follower stops once its runner ends (red)
3w ago
check-mq-heal.sh
scripts/check-mq-heal: the heal leaves the build's trace as written (red)
2w ago
check-mq-hook-beads.sh
scripts: the tracker hook closes nothing on a land that does not complete its branch (red)
5d ago
check-mq-with-opam.sh
pre-commit: read the index once and find the switch once per commit
1w ago
check-mutation-harness.sh
scripts: a mutation record lives in the source's git directory
2w ago
check-no-tracker-id.sh
scripts/test: an id on a line that is not UTF-8 is refused (red)
6d ago
check-object-reloc.sh
scripts/check-object-reloc.sh: the link depends on every file it is handed
1w ago
check-publishers-pre-push.sh
githooks: one pass over a range, and no commit-time hooks
6d ago
check-reference-transaction.sh
merge-queue: the reference-transaction hook reads Git's input once
6d ago
console_clock.ml
scripts: every cram page reads a frozen display clock
3w ago
console-clock.sh
scripts: every cram page reads a frozen display clock
3w ago
console-clock.t
scripts: every cram page reads a frozen display clock
3w ago
cram_witness.ml
scripts: observe cram execution under its inherited rerun key
3w ago
cram-env.inc
scripts: every cram page reads a frozen display clock
3w ago
cram-lock-test.py
scripts: observe cram execution under its inherited rerun key
3w ago
cram-witness-test.sh
scripts: every cram page reads a frozen display clock
3w ago
dune
githooks: one pass over a range, and no commit-time hooks
6d ago
git-env-strip.sh
scripts, uniboot: improve comments
1mo ago
git-fixture-env.sh
test: keep automatic Git maintenance within fixture lifetimes
3w ago
git-fixture.t
test: isolate Git configuration probes in a fixture repository
3w ago
link-keep.sh
dune: a Darwin developer link keeps the names of code only
1w ago
macos-ocamlopt-link
build: link macOS release executables against static archives
3w ago
mq-dune-stall.py
scripts/mq-dune.sh: end a dune that has stopped making progress
3w ago
mq-dune-units.py
scripts/mq-dune-units.py: wait on the trace's changes and the runner's end
3w ago
mq-dune.sh
scripts/mq-dune-units.py: wait on the trace's changes and the runner's end
3w ago
mq-fuzz.py
ocaml-crow: carry the AFL shm preload and set it for every afl tool crow starts
4d ago
mq-heal.py
scripts/mq-heal: the dump keeps its trace off the build's
2w ago
mq-hook.sh
merge-queue: a landing says whether it completes its branch, and the tracker hook closes on that alone
5d ago
mq-with-opam.sh
pre-commit: read the index once and find the switch once per commit
1w ago
mutation-harness.sh
scripts: a mutation record lives in the source's git directory
2w ago
proxy-env-strip.sh
scripts: a cram's key names the sandbox, and no page reads a proxy
1mo ago
release-context.inc
scripts: a release build runs in the release context of dune-workspace.release
6d ago
release-context.t
scripts: a release build runs in the release context of dune-workspace.release
6d ago
release-flags.inc
scripts: a release build runs in the release context of dune-workspace.release
6d ago
release-flags.t
scripts/release-flags.t: a release build does not depend on switch-pins (red)
1w ago
rerun-env-strip.sh
scripts: observe cram execution under its inherited rerun key
3w ago
switch_pins.ml
scripts/switch_pins: name the string of a pin-depends: entry with no package version
2w ago
switch-pins.t
scripts/switch-pins.t: a pin-depends: entry with no package version is refused by its name (red)
2w ago