mirror of
https://github.com/mauriceboe/TREK.git
synced 2026-10-18 21:16:47 +00:00
c2751d9c80
The allow-list learned them and the signature did not, so the only callers that name them are the tests and only `typecheck:tests` saw it. `typecheck` covers src alone, which is why this was green locally and red in CI.