Sometimes, the build on CI may be stuck. I think that we'll fix this by migrating from Clojurephant eventually.