cryogen 2020-11-25

Jakub Holý (HolyJak) 2020-11-25T16:11:39.183500Z

@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

Jakub Holý (HolyJak) 2020-11-25T19:57:22.184600Z

Thanks a lot!

@carmen Didn't/don't you work for CircleCI? 😉

I did... 😂