Revert "Revert "CI""

This reverts commit fcd511fdac8d059e18d1d7f81e2ac226b49221b4.