Repository navigation

feat(chapel): per-prover cwd + filenameOverride hooks (closes #158, closes #159) - #164

Merged

hyperpolymath merged 1 commit into

mainfrom

wave3/158-159-prover-cwd-filename-hooks

May 30, 2026

Merged

feat(chapel): per-prover cwd + filenameOverride hooks (closes #158, closes #159)#164
hyperpolymath merged 1 commit into
mainfrom
wave3/158-159-prover-cwd-filename-hooks

Commits on May 30, 2026
- feat(chapel): per-prover cwd + filenameOverride hooks — Idris2/Agda success in bench (closes #158, closes #159)
  
  hyperpolymath
  and
  claude
  committed
  8408b10