ci: add test job with -DVERIFY

This detects benchmarks that crash when VERIFY is defined.
jonasnick · Jan 19, 2023 · 7f49aa7 · 7f49aa7
1 parent 620ba3d
commit 7f49aa7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.cirrus.yml b/.cirrus.yml
@@ -81,6 +81,7 @@ task:
     - env: {WIDEMUL: int128,                 ECDH: yes, SCHNORRSIG: yes}
     - env: {WIDEMUL: int128,  ASM: x86_64}
     - env: {                  RECOVERY: yes,            SCHNORRSIG: yes}
+    - env: {CTIMETESTS: no,    RECOVERY: yes, ECDH: yes, SCHNORRSIG: yes, CPPFLAGS: -DVERIFY}
     - env: {BUILD: distcheck, WITH_VALGRIND: no, CTIMETESTS: no, BENCH: no}
     - env: {CPPFLAGS: -DDETERMINISTIC}
     - env: {CFLAGS: -O0, CTIMETESTS: no}