Garmelon 6a2a884372 chore: migrate pkg tests (#12889) ...

Also refactor util.sh in the process, so test scripts become easier to
write (inspired in part by lake's test suite).

2026-03-11 18:55:46 +00:00

..

bootstrap.md

doc: fix typos (#12418)

2026-02-10 19:26:49 +00:00

commit_convention.md

doc: commit conventions and Mathlib CI (#6605)

2025-01-13 02:29:46 +00:00

debugging.md

doc: stderrAsMessages is now the default on the cmdline as well (#4955)

2024-08-08 10:28:22 +00:00

ffi.md

doc: replace ffi.md with links to the reference manual (#11737)

2025-12-19 07:23:06 +00:00

index.md

chore: migrate pkg tests (#12889)

2026-03-11 18:55:46 +00:00

release_checklist.md

chore: improve release command PR status checking (#12536)

2026-02-17 21:21:30 +00:00