Now the CI mode actually works !