Skip to content

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

feat(chapel): per-prover cwd + filenameOverride hooks — Idris2/Agda s…

8408b10
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar