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 <