Temporarily upload the whole folder from ci, so I can see what's inside.

.github/workflows/build_linux.yml

@@ -42,7 +42,7 @@ jobs:
       CONTAINER_TMP: /opt/
       HOST_TMP: /home/runner/work/_temp/
       DEBIAN_FRONTEND: noninteractive
-      BOOST_VERSION: "1.80.0"
+      BOOST_VERSION: "1.78.0"
       INTEGRATION_TESTING_TARGETS: |
         arithmetics_cpp_example
         polynomial_cpp_example
@@ -327,11 +327,11 @@ jobs:
       always() && !cancelled() &&
       (needs.handle-syncwith.result == 'success' || needs.handle-syncwith.result == 'skipped') &&
       needs.build-and-test-linux.result == 'success'
-    uses: NilFoundation/proof-producer/.github/workflows/reusable-generate-proofs-linux.yml@b1e380040b4714b6ad5fe9223555d854c49cf065
+    uses: NilFoundation/proof-producer/.github/workflows/reusable-generate-proofs-linux.yml@426f3ba5074b4fd119e49a7798c6dcc40ad3f378
     with:
       artifact-name: ${{ needs.build-and-test-linux.outputs.examples-artifact-name }}
       # Update next line if you need new version of proof producer
-      proof-producer-ref: 1a51db9ad39b47967e13e935630d7951f2c808c0
+      proof-producer-ref: 426f3ba5074b4fd119e49a7798c6dcc40ad3f378
       refs: ${{ needs.handle-syncwith.outputs.prs-refs }}
       targets: ${{ needs.build-and-test-linux.outputs.prover-targets }}