From 867222d7174f5664e1ec34c6fb76a852f3dd3fac Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Thu, 14 May 2026 18:40:38 +0100
Subject: [PATCH] edits

---
 .github/workflows/run-tests.yml | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/.github/workflows/run-tests.yml b/.github/workflows/run-tests.yml
index 95c5e402..23276bb1 100644
--- a/.github/workflows/run-tests.yml
+++ b/.github/workflows/run-tests.yml
@@ -33,17 +33,6 @@ jobs:
         with:
           llvm-version: 22
 
-      - name: Setup Rust
-        uses: dtolnay/rust-toolchain@master
-        with:
-          toolchain: 1.95.0
-          components: rustfmt
-
-      - name: Setup Python
-        uses: actions/setup-python@v6
-        with:
-          python-version: '3.x'
-
       - name: Configure
         run: |
           mkdir build && cd build