Add test against Valgrind.

diff --git a/.github/configs b/.github/configs
index fdc0b60117db9aa8ce634e46aab297cd28358a38..404ee7e8e5f68aea6f96453bcb8e649c121e2d63 100755 (executable)
--- a/.github/configs
+++ b/.github/configs
@@ -55,6 +55,9 @@ case "$config" in
        LIBCRYPTOFLAGS="--without-openssl"
        TEST_TARGET=t-exec
        ;;
+    valgrind)
+       TEST_TARGET=USE_VALGRIND=1
+       ;;
     *)
        echo "Unknown configuration $config"
        exit 1

diff --git a/.github/setup_ci.sh b/.github/setup_ci.sh
index 16eca54522c12dd277ad9f224bf1ab051985c25f..831203cfd38cc1a221b9ba8b392974a8a4c2dedd 100755 (executable)
--- a/.github/setup_ci.sh
+++ b/.github/setup_ci.sh
@@ -53,6 +53,9 @@ for TARGET in $TARGETS; do
     libressl-head)
         INSTALL_LIBRESSL_HEAD=yes
        ;;
+    valgrind)
+       PACKAGES="$PACKAGES valgrind"
+       ;;
     *) echo "Invalid option '${TARGET}'"
         exit 1
         ;;

diff --git a/.github/workflows/c-cpp.yml b/.github/workflows/c-cpp.yml
index 7f276e5d57bb71191ca47b1a7fe72f18bf9a7e18..b9746248f4bd02fbcf3c888a331758da242b65ad 100644 (file)
--- a/.github/workflows/c-cpp.yml
+++ b/.github/workflows/c-cpp.yml
@@ -20,6 +20,7 @@ jobs:
           - { os: ubuntu-20.04, configs: hardenedmalloc }
           - { os: ubuntu-20.04, configs: libressl-head }
           - { os: ubuntu-20.04, configs: openssl-head }
+          - { os: ubuntu-20.04, configs: valgrind }
           - { os: ubuntu-18.04, configs: kerberos5 }
           - { os: ubuntu-18.04, configs: libedit }
           - { os: ubuntu-18.04, configs: sk }