From 4ec2f946b7ca8e4b7d9c5eac351c33018265e53e Mon Sep 17 00:00:00 2001
From: Jacob Urbanczyk <jacob@urbanczyk.dev>
Date: Sat, 9 Mar 2024 22:10:34 +0100
Subject: [PATCH] Fix workflow

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index da74c3fea..d42aa629d 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -244,7 +244,7 @@ jobs:
           sudo apt-get install -y binutils-riscv64-unknown-elf
 
       - name: Run tests
-        run: ./scripts/run_tests.py --verbosity info
+        run: ./scripts/run_tests.py -v
 
       - name: Check traces and profiles
         run: ./scripts/run_tests.py -t -p -c 1 TestCore