From 68c1a172db122e4f47d6e6afce10073749e5f56a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Costa?= <frankost.costa@gmail.com>
Date: Tue, 17 Dec 2024 16:02:54 +0100
Subject: [PATCH] tmp changes

---
 .github/workflows/stats.yaml | 8 ++++++--
 misc/push_stats.sh           | 4 ++--
 2 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/stats.yaml b/.github/workflows/stats.yaml
index 32e57db0..07c2fbfc 100644
--- a/.github/workflows/stats.yaml
+++ b/.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
diff --git a/misc/push_stats.sh b/misc/push_stats.sh
index ae6b6e6c..b5aeb9d1 100755
--- a/misc/push_stats.sh
+++ b/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