Revert "Wrong number for CI check"

This reverts commit 5bd17503f370c1c32c97a0ad18f1cc08ba4fc69a.