From b7b48b389c5e68154f72133ec5d12ca2412aa406 Mon Sep 17 00:00:00 2001 From: Luca Boccassi Date: Tue, 4 Apr 2023 22:37:35 +0100 Subject: [PATCH] ci: do one build with no tpm/p11kit/fido2 We have some missing coverage in the CI, all builds enable these features, but there are often changes and they cover a lot of code. Do one build without them to ensure we don't break builds. --- .github/workflows/build_test.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build_test.sh b/.github/workflows/build_test.sh index 3ec229bd9b7..40614f9084e 100755 --- a/.github/workflows/build_test.sh +++ b/.github/workflows/build_test.sh @@ -11,7 +11,7 @@ ARGS=( "--optimization=0" "--optimization=s" "--optimization=3 -Db_lto=true -Ddns-over-tls=false" - "--optimization=3 -Db_lto=false" + "--optimization=3 -Db_lto=false -Dtpm2=false -Dlibfido2=false -Dp11kit=false" "--optimization=3 -Ddns-over-tls=openssl" "--optimization=3 -Dfexecve=true -Dstandalone-binaries=true -Dstatic-libsystemd=true -Dstatic-libudev=true" "-Db_ndebug=true"