From 86a7b6bf298b28291943203a79e8cfb178428bfe Mon Sep 17 00:00:00 2001 From: Fabrice Reix Date: Tue, 29 Oct 2024 14:35:20 +0100 Subject: [PATCH] Add check valgrind --- .github/workflows/check.yml | 7 +++++++ bin/check/valgrind.sh | 7 +++++++ 2 files changed, 14 insertions(+) create mode 100755 bin/check/valgrind.sh diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index e4f4f2436..b0d38ef47 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -100,6 +100,13 @@ jobs: if: always() run: bin/check/doc.sh + - name: Check Valgrind + if: always() + run: | + sudo apt-get install -y valgrind + cargo install cargo-valgrind + bin/check/valgrind.sh + - name: Check completion files if: always() run: | diff --git a/bin/check/valgrind.sh b/bin/check/valgrind.sh new file mode 100755 index 000000000..dd470677a --- /dev/null +++ b/bin/check/valgrind.sh @@ -0,0 +1,7 @@ +#!/bin/bash +set -Eeuo pipefail + +cat <