diff options
Diffstat (limited to '.github')
-rwxr-xr-x | .github/configs | 3 | ||||
-rwxr-xr-x | .github/setup_ci.sh | 3 | ||||
-rw-r--r-- | .github/workflows/c-cpp.yml | 1 |
3 files changed, 7 insertions, 0 deletions
diff --git a/.github/configs b/.github/configs index fdc0b601..404ee7e8 100755 --- 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 16eca545..831203cf 100755 --- 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 7f276e5d..b9746248 100644 --- 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 } |