Repository navigation

Hermetic reftests - #26

Open

dra27 wants to merge 7 commits into

hermetic-reftests

Commits on Oct 7, 2025
- Explicitly set the main branch in opamGit
  dra27
  committed
  f69b80e
Commits on Oct 8, 2025
- Add better Windows fallback for guessing user
  dra27
  committed
  446fe0b
- Include stderr in errors in patchDiff.ml
  dra27
  committed
  1d643ed
- Harden git configuration in patchDiff.ml
  dra27
  committed
  8c6d21d
- Use main instead of master in tests
  dra27
  committed
  d483684
- Explicit user.name and user.email
  dra27
  committed
  4be2cc0
- Hermetically configure git in the reftests
  dra27
  committed
  306cd27