Thanks @philip.mcgrath. That looks good. I was trying to avoid switching to a racket based solution but the tipping point will come if Github doesn’t get its act together. We are facing yet another issue with: https://github.com/racket/racket/issues/2974

Anyway - I think writing something like a #lang ci would be an interesting discussion for next meeting. For the sake of gardening, I will split the jobs and get linux running in containers. I definitely do not want any red crosses during Christmas.