tmp changes

.github/workflows/stats.yaml

@@ -2,7 +2,7 @@ name: Push Stats
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "add-cycles-benchmark" ]
 
 env:
   CARGO_TERM_COLOR: always
@@ -28,7 +28,11 @@ jobs:
     - name: Setup Toolchain
       run: just install-toolchain
     - name: Install spike
-      run: echo "installing spike" # TODO: Do this step
+      run: |
+        wget --no-verbose https://github.com/epfl-dcsl/spike-ci-artifact/releases/download/v0.1.3/spike
+        chmod +x spike
+        echo "$PWD" >> $GITHUB_PATH
+        sudo apt install device-tree-compiler
     - name: Benchmark cycles
       run: cargo run -- run --firmware tracing_firmware --config ./config/test/spike-latency-benchmark.toml > cycles.txt
     - name: Push stats

misc/push_stats.sh

@@ -49,14 +49,14 @@ payload_cost=$(grep -i "Payload cost :" "$file" | sed -E 's/.*Payload cost : ([0
 
 # Check if a number was found
 if [ -n "$firmware_cost" ]; then
-    echo "$firmware_cost"
+    echo "Firmware cost: $firmware_cost"
 else
     echo "No firmware cost found in the file."
 fi
 
 # Check if a number was found
 if [ -n "$payload_cost" ]; then
-    echo "$payload_cost"
+    echo "Payload cost: $payload_cost"
 else
     echo "No firmware cost found in the file."
 fi