@carmen isn't http://cryogenweb.org/ updated automatically when a PR ☝️ is merged?
It should be.. I'll check circle
Well idk what happened with circle, but I triggered a "force build" with an empty commit
Thanks a lot!
@carmen Didn't/don't you work for CircleCI? 😉
I did... 😂