From 4f2741b2ad0d863fbd2aff22d57a19530b24cde3 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Thu, 9 Jan 2025 15:48:21 +0100
Subject: [PATCH] installing gdb in project workflow

---
 .github/workflows/why2-project.yml | 3 +++
 1 file changed, 3 insertions(+)

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 }}