Revert "Remove the CI, won't use it anyway."

This reverts commit 529567e82e88fd55e09cdc33810414d1904de8cf.