diff --git a/.github/workflows/ci-reusable.yml b/.github/workflows/ci-reusable.yml
index 6578f2da..401ef161 100644
--- a/.github/workflows/ci-reusable.yml
+++ b/.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
diff --git a/codex/slots/proofs/backends/circomcompat.nim b/codex/slots/proofs/backends/circomcompat.nim
index 2bc7f433..780921ca 100644
--- a/codex/slots/proofs/backends/circomcompat.nim
+++ b/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*(
diff --git a/docker/codex.Dockerfile b/docker/codex.Dockerfile
index 2c039252..eb312766 100644
--- a/docker/codex.Dockerfile
+++ b/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 . .