Restore CI to before so we can have PR merged.