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