ci: Disable side-channel tests in ubsan build.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 75d3613cab7c32935cf5b7724b131e24898c3d8b..2c20c746640332f93425d06711973fbb3abe8784 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,7 +9,7 @@ variables:
   - ./.bootstrap
   - './configure $EXTRA_CONFIGURE_ARGS --disable-documentation'
   - 'make -j$(nproc)'
-  - 'make -j$(nproc) check'
+  - 'make -j$(nproc) check $EXTRA_CHECK_ARGS'
   - 'for t in $EXTRA_CHECK_TARGET ; do make -j$(nproc) $t ; done'
   variables:
     NETTLE_TEST_SEED: '0'
@@ -71,6 +71,7 @@ native/ubsan:
   extends: .native-build
   variables:
     EXTRA_CONFIGURE_ARGS: '--disable-assembler'
+    EXTRA_CHECK_ARGS: 'TS_SC='
     CFLAGS: '-fsanitize=undefined -fno-sanitize-recover -g -O2'
     CXXFLAGS: '-fsanitize=undefined -fno-sanitize-recover -g -O2'