Anyway, Racket has an additional internal CI called DrDr and some very subtle errors are only detected there, after the commit is merged.
Anyway, Racket has an additional internal CI called DrDr and some very subtle errors are only detected there, after the commit is merged.