Merge branch 'main' into jonas/ml-dsa-improve-avx2-ntt

.docker/c/ext-tools.sh

@@ -4,23 +4,23 @@ set -v -e -x
 
 source $HOME/.profile
 
-curl -L https://github.com/AeneasVerif/charon/archive/b351338f6a84c7a1afc27433eb0ffdc668b3581d.zip \
+curl -L https://github.com/AeneasVerif/charon/archive/28d543bfacc902ba9cc2a734b76baae9583892a4.zip \
     --output charon.zip
 unzip charon.zip
 rm -rf charon.zip
-mv charon-b351338f6a84c7a1afc27433eb0ffdc668b3581d/ charon
+mv charon-28d543bfacc902ba9cc2a734b76baae9583892a4/ charon
 
-curl -L https://github.com/FStarLang/karamel/archive/c96fb69d15693284644d6aecaa90afa37e4de8f0.zip \
+curl -L https://github.com/FStarLang/karamel/archive/15d4bce74a2d43e34a64f48f8311b7d9bcb0e152.zip \
     --output karamel.zip
 unzip karamel.zip
 rm -rf karamel.zip
-mv karamel-c96fb69d15693284644d6aecaa90afa37e4de8f0/ karamel
+mv karamel-15d4bce74a2d43e34a64f48f8311b7d9bcb0e152/ karamel
 
-curl -L https://github.com/AeneasVerif/eurydice/archive/7efec1624422fd5e94388ef06b9c76dfe7a48d46.zip \
+curl -L https://github.com/AeneasVerif/eurydice/archive/1a65dbf3758fe310833718c645a64266294a29ac.zip \
     --output eurydice.zip
 unzip eurydice.zip
 rm -rf eurydice.zip
-mv eurydice-7efec1624422fd5e94388ef06b9c76dfe7a48d46/ eurydice
+mv eurydice-1a65dbf3758fe310833718c645a64266294a29ac/ eurydice
 
 echo "export KRML_HOME=$HOME/karamel" >>$HOME/.profile
 echo "export EURYDICE_HOME=$HOME/eurydice" >>$HOME/.profile

.github/workflows/mlkem.yml

@@ -87,11 +87,6 @@ jobs:
           rustc --print=cfg
           cargo build --verbose $RUST_TARGET_FLAG --features pre-verification
 
-      - name: 🔨 Build unpacked
-        run: |
-          rustc --print=cfg
-          cargo build --verbose $RUST_TARGET_FLAG --features pre-verification,unpacked
-
       - name: 🔨 Build Release
         run: cargo build --verbose --release $RUST_TARGET_FLAG --features pre-verification