diff --git a/.github/workflows/why2-project.yml b/.github/workflows/why2-project.yml
index 8ce5ec5..5afe787 100644
--- a/.github/workflows/why2-project.yml
+++ b/.github/workflows/why2-project.yml
@@ -50,6 +50,9 @@ jobs:
         run: |
           chmod +x ${{ matrix.configure }}
 
+      - name: Install GDB
+        run: sudo apt-get install gdb -y
+
       - name: Preparation
         run: sudo ./${{ matrix.configure }}