Revert "CI configuration..."

This reverts commit 991c40d064ef891d20174ef68eca8602a85dbf79.