From f49e6bdc9e7d6df876dba856b555d0505134867a Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Thu, 23 Jul 2026 13:46:05 +0100
Subject: [PATCH] Simplify CodeQL workflow by removing unused settings

Removed concurrency settings and Rust setup from CodeQL workflow.
---
 .github/workflows/codeql.yml | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index da47d5bc..c80a34c4 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -6,10 +6,6 @@ on:
       - master
   pull_request:
 
-concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: true
-
 jobs:
   analyze:
     name: Analyze ${{ matrix.language }}
@@ -34,12 +30,6 @@ jobs:
       with:
         llvm-version: 22
 
-    - name: Setup Rust
-      if: matrix.language != 'actions'
-      uses: dtolnay/rust-toolchain@master
-      with:
-        toolchain: 1.95.0
-
     - name: Initialize CodeQL
       uses: github/codeql-action/init@v4
       with: