The "SageMath prover" CI job started failing with:
/usr/bin/env: 'python3': No such file or directory Error: Process completed with exit code 127.
This is caused by the sagemath/sagemath:latest Docker image being updated. The new image has a known bug (https://github.com/sagemath/sage/issues/40867). This is unrelated to any recent code changes since the last CI run before the image update passed successfully. We noticed this in https://github.com/BlockstreamResearch/secp256k1-zkp, which uses the same CI configuration.