Spike CI pipeline integration

[metasmile]

Background

Dockerfile has been updated to include RISC-V toolchain (Spike, pk, cross-compiler). The CI pipeline should use the updated image to run EV_SIM_BACKEND=spike simulation tests.

Tasks

1. Build and publish the updated Docker image to GHCR
2. Add Spike simulation step to .github/workflows/build-ev.yml
3. Verify that ev simulate runs correctly in CI for the cva6_xif_ref fixture (33M combinations may be too slow for CI — use a reduced fixture)

References

• Dockerfile — updated with Spike + pk + riscv64-unknown-elf-gcc
• ssccs/poc/Dockerfile — reference implementation
• ssccs/poc/.github/workflows/run-deploy-poc.yml — Spike CI example

Branch

11-spike-ci-pipeline