New pull request
docs: add mandatory checkout hygiene policy to AGENTS.md
Some checks failed
version-policy / required (pull_request) Failing after 3m44s
required-ci / required (pull_request) Successful in 4m37s
#9 by ober was merged 2026-09-12 21:10:40 -04:00
docs: fix fj CLI syntax in AGENTS.md
Some checks failed
version-policy / required (pull_request) Failing after 3m44s
required-ci / required (pull_request) Successful in 5m16s
#8 by ober was merged 2026-09-12 20:50:09 -04:00
fix: compile sed main in static builds
All checks were successful
version-policy / required (pull_request) Successful in 3m44s
required-ci / required (pull_request) Successful in 4m21s
#7 by ober was merged 2026-09-19 16:43:41 -04:00
fix: resolve sed WPO compiler symbol conflict
All checks were successful
version-policy / required (pull_request) Successful in 3m45s
required-ci / required (pull_request) Successful in 4m18s
#6 by ober was merged 2026-09-10 21:51:38 -04:00
fix: use (scheme) instead of (except (chezscheme)) in sls wrapper
Some checks failed
version-policy / required (pull_request) Failing after 3s
required-ci / required (pull_request) Failing after 3s
#5 by ober was merged 2026-08-06 22:18:51 -04:00
fix: pass --unsafe-prelude to import-check JEXEC
Some checks failed
required-ci / required (pull_request) Failing after 3s
version-policy / required (pull_request) Failing after 2s
#4 by ober was merged 2026-08-06 18:15:44 -04:00
fix: inject (except (chezscheme) ...) in wrap-ss-to-sls.py
Some checks failed
required-ci / required (pull_request) Failing after 4s
version-policy / required (pull_request) Successful in 3s
#3 by ober was merged 2026-08-06 15:04:24 -04:00
AGENTS.md: work from pristine origin copies; always check CI/CD after creating a PR
Some checks failed
required-ci / required (pull_request) Failing after 2s
version-policy / required (pull_request) Failing after 2s
#2 by ober was merged 2026-08-05 13:52:03 -04:00
Document local mine repository authority
Some checks failed
required-ci / required (pull_request) Failing after 23s
version-policy / required (pull_request) Failing after 40s
#1 by ober was merged 2026-08-03 21:37:53 -04:00