Fix CI smoke-gate test

Created by: valentinThomazic

The Smoke-gate test is broken in CI because of https://github.com/openhwgroup/cva6/pull/1899 .

The Spike version check is failing because it cannot get the appropriate hash version of spike files in core-v-verif.

Fixed it by unshallowing core-v-verif in the smoke-gate job.