use apt-get instead of apt

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

View File

@ -10,7 +10,7 @@ jobs:
steps:
- uses: actions/checkout@v3
- name: Install Valgrind
run: sudo apt install valgrind
run: sudo apt-get install -y valgrind
- name: Run tests with standard compilation flags
working-directory: tests/
run: ./normal_compile.sh
@ -19,7 +19,7 @@ jobs:
steps:
- uses: actions/checkout@v3
- name: Install Valgrind
run: sudo apt install valgrind
run: sudo apt-get install -y valgrind
- name: Run tests with optimized compilation flags
working-directory: tests/
run: ./optimized_compile.sh