@pocmatos how much effort is it required to add CI to various repos? The errors right now in racket/htdp look preventable if we have one.

Not much effort. Mostly you need time and motivation. If you tell me what to run in CI, I can add a PR for a workflow. Is it just something like raco test ...?