coqbot-app[bot]

The job [library:ci-fiat_crypto_legacy](https://gitlab.com/coq/coq/-/jobs/2747417212) has failed in allow failure mode ping @JasonGross

I am now running minimization at commit ac4d04b83823686f9680680f0377572906fd2232 on requested target ci-metacoq. I'll come back to you with the results once it's done.

I am now resuming minimization at commit ac4d04b83823686f9680680f0377572906fd2232 on requested target ci-fiat_crypto_legacy. I'll come back to you with the results once it's done.

:red_circle: CI failures at commit ac4d04b83823686f9680680f0377572906fd2232 without any failure in the test-suite :heavy_check_mark: Corresponding jobs for the base commit a17855e0870d17cd722adfd96b867be2de219445 succeeded :grey_question: Ask me to try to extract minimal test...

Minimized File /github/workspace/builds/coq/coq-failing/_build_ci/fiat_crypto_legacy/src/Arithmetic/BarrettReduction/Generalized.v (from ci-fiat_crypto_legacy) (full log [on GitHub Actions](https://github.com/coq-community/run-coq-bug-minimizer/actions/runs/2706318742)) We are collecting data on the user experience of the Coq Bug Minimizer. If you haven't already filled the survey...

I am now resuming minimization at commit ac4d04b83823686f9680680f0377572906fd2232 on requested target ci-fiat_crypto_legacy. I'll come back to you with the results once it's done.

I am now resuming minimization at commit ac4d04b83823686f9680680f0377572906fd2232 on requested target ci-fiat_crypto_legacy. I'll come back to you with the results once it's done.

Minimized File /github/workspace/builds/coq/coq-failing/_build_ci/fiat_crypto_legacy/src/Arithmetic/BarrettReduction/Generalized.v (from ci-fiat_crypto_legacy) (full log [on GitHub Actions](https://github.com/coq-community/run-coq-bug-minimizer/actions/runs/2706598799)) We are collecting data on the user experience of the Coq Bug Minimizer. If you haven't already filled the survey...

Minimized File /github/workspace/builds/coq/coq-failing/_build_ci/fiat_crypto_legacy/src/Arithmetic/BarrettReduction/Generalized.v (from ci-fiat_crypto_legacy) (full log [on GitHub Actions](https://github.com/coq-community/run-coq-bug-minimizer/actions/runs/2706624992)) We are collecting data on the user experience of the Coq Bug Minimizer. If you haven't already filled the survey...

I am now resuming minimization at commit ac4d04b83823686f9680680f0377572906fd2232 on requested target ci-fiat_crypto_legacy. I'll come back to you with the results once it's done.