From 840ce4e719a465d9b0342e17f15e950f185dc5e4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sa=C3=BAl=20Ibarra=20Corretg=C3=A9?= Date: Mon, 22 Apr 2024 11:53:50 +0200 Subject: [PATCH] Make sure repos are updated before installing valgrind in CI --- .github/workflows/valgrind.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/valgrind.yml b/.github/workflows/valgrind.yml index a8b123a..f03aeb7 100644 --- a/.github/workflows/valgrind.yml +++ b/.github/workflows/valgrind.yml @@ -14,7 +14,7 @@ jobs: with: submodules: true - name: install valgrind - run: sudo apt-get install valgrind + run: sudo apt-get update && sudo apt-get install valgrind - name: build run: | make BUILD_TYPE=RelWithDebInfo