install Valgrind

This commit is contained in:
Kévin Dunglas 2022-12-19 21:41:43 +01:00
parent 3f826f040e
commit 4ea14a25f1
No known key found for this signature in database
GPG Key ID: 4D04EBEF06AAF3A6

View File

@ -9,6 +9,8 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v3 - uses: actions/checkout@v3
- name: Install Valgrind
run: sudo apt install valgrind
- name: Run tests with standard compilation flags - name: Run tests with standard compilation flags
working-directory: tests/ working-directory: tests/
run: ./normal_compile.sh run: ./normal_compile.sh
@ -16,6 +18,8 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v3 - uses: actions/checkout@v3
- name: Install Valgrind
run: sudo apt install valgrind
- name: Run tests with optimized compilation flags - name: Run tests with optimized compilation flags
working-directory: tests/ working-directory: tests/
run: ./optimized_compile.sh run: ./optimized_compile.sh