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