From d57f1f064d987522c37a0028e2f91af67daa49d2 Mon Sep 17 00:00:00 2001
From: Francesco Conti <f.conti@unibo.it>
Date: Sat, 1 Feb 2025 14:28:10 +0100
Subject: [PATCH] Add actual sanity test for Verilator (minimal)

---
 .github/workflows/verilator-ci.yml | 36 +++++++++++++++++++++++++-----
 1 file changed, 30 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/verilator-ci.yml b/.github/workflows/verilator-ci.yml
index a28c7854..31ecd0e8 100644
--- a/.github/workflows/verilator-ci.yml
+++ b/.github/workflows/verilator-ci.yml
@@ -8,12 +8,36 @@ on: [push, pull_request, workflow_dispatch]
 jobs:
   verilator-ci:
     name: Public Verilator CI
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     container:
       image: fconti/pulp-verilator:latest
+      volumes: 
+        - ${{ github.workspace }}:/workspaces
     steps:
-      - name: Test
-        # Skip on forks or pull requests from forks due to missing secrets.
-        if:
-          github.repository == 'pulp-platform/pulpissimo' && (github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository)
-        run: echo "HELLO"
+      - name: Checkout repository
+        uses: actions/checkout@v2
+      - name: Check container environment
+        run: |
+          echo "Running on:"
+          cat /etc/os-release
+      - name: Where am I?
+        shell: bash
+        run: |
+          cd /workspaces
+          echo `ls -l`
+      - name: Verilate
+        shell: bash
+        env:
+          VERILATOR_PATH: /workspaces/build/verilator
+        run: |
+          cd /workspaces
+          make checkout
+          make verilate
+      - name: SW sanity check
+        shell: bash
+        run: |
+          cd /workspaces
+          git submodule update --init --recursive
+          source sw/pulp-runtime/configs/pulpissimo.sh
+          cd sw/regression_tests/hello
+          make clean all run platform=verilator bootmode=fast_debug