Build with JERBOA_NATIVE_FEATURES=tls (smaller, avoids OOM)

ober

aa9d3a0e488a864e094ac7a8df7f8e488e2ea7f6

diff --git a/.builds/ci.yml b/.builds/ci.yml
index 3c3de33..3683907 100644
--- a/.builds/ci.yml
+++ b/.builds/ci.yml
@@ -24,7 +24,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
 - verify: |
     cd jerboa-gerbil
     PATH="$HOME/jerboa/dist:$PATH" JERBUILD="$HOME/jerboa/dist/jerbuild" make test