Build with JERBOA_NATIVE_FEATURES=tls (smaller, avoids OOM)

ober

f8dc9bd83dcd35a94b865172d5dab31031db7a7e

diff --git a/.builds/ci.yml b/.builds/ci.yml
index 3d24935..021b8bb 100644
--- a/.builds/ci.yml
+++ b/.builds/ci.yml
@@ -26,7 +26,7 @@ tasks:
     curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | \
       sh -s -- -y --profile minimal --default-toolchain 1.94.1
     source "$HOME/.cargo/env"
-    make jerboa CHEZ_CONFIGURE_EXTRA=--disable-x11
+    make jerboa CHEZ_CONFIGURE_EXTRA=--disable-x11 JERBOA_NATIVE_FEATURES=tls
     echo 'export PATH="$HOME/jerboa/dist:$PATH"' >> ~/.buildenv
 - package: |
     cd jerboa-semgrep