From c66b5596c0156a91499374718e733ee5730e94f4 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Wed, 8 Feb 2023 10:41:04 +0100
Subject: [PATCH] added missing valgrind installation into workflows

---
 .github/workflows/why2-core-test.yml   | 3 +++
 .github/workflows/why2-logger-test.yml | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/.github/workflows/why2-core-test.yml b/.github/workflows/why2-core-test.yml
index 4474148..4151922 100644
--- a/.github/workflows/why2-core-test.yml
+++ b/.github/workflows/why2-core-test.yml
@@ -55,6 +55,9 @@ jobs:
       - name: Preparation
         run: sudo ./${{ matrix.configure }}
 
+      - name: Install Valgrind
+        run: sudo apt install valgrind
+
       - name: Install WHY2
         run: sudo make install
 
diff --git a/.github/workflows/why2-logger-test.yml b/.github/workflows/why2-logger-test.yml
index 410ffb9..2d95e1f 100644
--- a/.github/workflows/why2-logger-test.yml
+++ b/.github/workflows/why2-logger-test.yml
@@ -54,6 +54,9 @@ jobs:
       - name: Preparation
         run: sudo ./${{ matrix.configure }}
 
+      - name: Install Valgrind
+        run: sudo apt install valgrind
+
       - name: Install WHY2
         run: sudo make install