Make sure repos are updated before installing valgrind in CI

This commit is contained in:
Saúl Ibarra Corretgé 2024-04-22 11:53:50 +02:00
parent 38f9e429e4
commit 840ce4e719

View file

@ -14,7 +14,7 @@ jobs:
with: with:
submodules: true submodules: true
- name: install valgrind - name: install valgrind
run: sudo apt-get install valgrind run: sudo apt-get update && sudo apt-get install valgrind
- name: build - name: build
run: | run: |
make BUILD_TYPE=RelWithDebInfo make BUILD_TYPE=RelWithDebInfo