scripts · eukhe · Tangled

Coding agent with a memory of all things

eukhe scripts

1 folder · 12 files

at fix/theme-same-content

gildrb.com · ci: the nightly gate builds from an empty build dir, and the full gate builds without incremental files and with line tables only (one day of gate runs grew its build dir to 410 GB) · 3w ago

release: the workflow releases the commit the nightly gate names (`sha` input, no schedule) with notes from the commit subjects

check_laws_wired.py

laws: references cite LAWS.bend and PROOF.bend sections; check_laws_wired.py enforces the layout

ci: the nightly gate builds from an empty build dir, and the full gate builds without incremental files and with line tables only (one day of gate runs grew its build dir to 410 GB)

ci: the nightly gate builds from an empty build dir, and the full gate builds without incremental files and with line tables only (one day of gate runs grew its build dir to 410 GB)

ci_pr_crates.py

ci: GitHub runs no CI, only the daily release; every gate runs in the local prek hooks

ci_test_shard_summary.py

ci: the pre-push hook checks the pushed commits in place (fmt, secrets, clippy and tests on the touched crates, bend PROOF.bend) with no lock; the full gate runs nightly (scripts/ci_nightly.sh) and starts the release only when green

ci_test_shard.py

ci: the pre-push hook checks the pushed commits in place (fmt, secrets, clippy and tests on the touched crates, bend PROOF.bend) with no lock; the full gate runs nightly (scripts/ci_nightly.sh) and starts the release only when green

generate-catalog-fixture.py

Close untrusted code execution paths and pin every dependency

package_release.py

Release every green main commit as Eukhe v0.10.N, and set up Bend in CI with one pinned action

test_check_laws_wired.py

laws: references cite LAWS.bend and PROOF.bend sections; check_laws_wired.py enforces the layout

test_ci_pr_crates.py

ci: GitHub runs no CI, only the daily release; every gate runs in the local prek hooks

test_ci_test_shard.py

ci-local: the test gate runs 8 test shards at the same time and audits them (ci_test_shard.py and its summary return as local tools); the Rust lane stays in the foreground and background jobs restore the default SIGINT action

ci: GitHub runs no CI, only the daily release; every gate runs in the local prek hooks