added missing valgrind installation into workflows

This commit is contained in:
Václav Šmejkal 2023-02-08 10:41:04 +01:00
parent 3dcdf601a9
commit c66b5596c0
Signed by: ENGO150
GPG Key ID: F6D6DF86242C5A59
2 changed files with 6 additions and 0 deletions

View File

@ -55,6 +55,9 @@ jobs:
- name: Preparation - name: Preparation
run: sudo ./${{ matrix.configure }} run: sudo ./${{ matrix.configure }}
- name: Install Valgrind
run: sudo apt install valgrind
- name: Install WHY2 - name: Install WHY2
run: sudo make install run: sudo make install

View File

@ -54,6 +54,9 @@ jobs:
- name: Preparation - name: Preparation
run: sudo ./${{ matrix.configure }} run: sudo ./${{ matrix.configure }}
- name: Install Valgrind
run: sudo apt install valgrind
- name: Install WHY2 - name: Install WHY2
run: sudo make install run: sudo make install