Merge branch 'master' into wire-circuits

.github/workflows/ci-reusable.yml

@@ -27,7 +27,6 @@ jobs:
     name: '${{ matrix.os }}-${{ matrix.cpu }}-${{ matrix.nim_version }}-${{ matrix.tests }}'
     runs-on: ${{ matrix.builder }}
     timeout-minutes: 80
-    continue-on-error: true
     steps:
       - name: Checkout sources
         uses: actions/checkout@v4

codex/slots/proofs/backends/circomcompat.nim

@@ -88,6 +88,10 @@ proc prove*[H](
   var
     backend: ptr CircomCompatCtx
 
+  defer:
+    if backend != nil:
+      backend.addr.releaseCircomCompat()
+
   if initCircomCompat(
     self.backendCfg,
     addr backend) != ERR_OK or backend == nil:
@@ -169,9 +173,6 @@ proc prove*[H](
       if proofPtr != nil:
         proofPtr.addr.releaseProof()
 
-      if backend != nil:
-        backend.addr.releaseCircomCompat()
-
   success proof
 
 proc verify*(

docker/codex.Dockerfile

@@ -14,8 +14,8 @@ ARG MAKE_PARALLEL
 ARG NIMFLAGS
 
 RUN apt-get update && apt-get install -y git cmake curl make bash lcov build-essential nim
-RUN echo 'export NIMBLE_DIR="${HOME}/.nimble"' >> "${HOME}/.bash_env"
-RUN echo 'export PATH="${NIMBLE_DIR}/bin:${PATH}"' >> "${HOME}/.bash_env"
+RUN curl --proto '=https' --tlsv1.3 https://sh.rustup.rs -sSf | sh -s -- -y
+ENV PATH="/root/.cargo/bin:${PATH}"
 
 WORKDIR ${BUILD_HOME}
 COPY . .