From 96a0ca634517045a50d745cd6424ec6f4794c2ba Mon Sep 17 00:00:00 2001
From: Vincent Vanlaer <vincent.vanlaer@kuleuven.be>
Date: Fri, 12 Jun 2026 11:27:08 +0200
Subject: [PATCH] actions: make coverage use the default sdk

---
 .github/workflows/coverage.yml | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 2843b87db..bd8a27306 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -19,7 +19,7 @@ jobs:
   run-code-coverage:
     environment:
       name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }} 
+      url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
 
     steps:
@@ -32,12 +32,10 @@ jobs:
           sudo apt-get -y install lcov
         shell: bash
 
-      - name: Install MESA on ${{ runner.os }} with SDK 26.3.2 and coverage enabled
+      - name: Install MESA on ${{ runner.os }} with the default SDK and coverage enabled
         uses: ./.github/actions/install-mesa
         env:
           WITH_COVERAGE: yes
-        with:
-          sdk: "26.3.2"
 
       - name: Run gcov
         run: |
@@ -69,9 +67,9 @@ jobs:
 
       - name: Save the html folder as an artifact
         uses: actions/upload-pages-artifact@v3
-        with: 
+        with:
           path: './.htmlcov/'
-      
+
       - name: Deploy to Github Pages
         uses: actions/deploy-pages@v4
         id: deployment