Hi all, I have a good enough idea of the items that need to be done. I will write something later on in racket/racket-ci . If you have some spare time and would like to help the CI process, we should talk online. More information on this soon.