coqbot-app[bot]

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

Minimized File /github/workspace/builds/coq/coq-failing/_build_ci/category_theory/Lib/TList.v (from ci-category_theory) (interrupted by timeout, being automatically continued) (full log [on GitHub Actions](https://github.com/coq-community/run-coq-bug-minimizer/actions/runs/2548541652)) Minimized Coq File (consider adding this file to the test-suite) ```coq (* -*- mode:...

Minimized File /github/workspace/builds/coq/coq-failing/_build_ci/category_theory/Lib/TList.v (from ci-category_theory) (interrupted by timeout, being automatically continued) (full log [on GitHub Actions](https://github.com/coq-community/run-coq-bug-minimizer/actions/runs/2550409858)) Minimized Coq File (consider adding this file to the test-suite) ```coq (* -*- mode:...

Minimized File (from ci-category_theory) (full log [on GitHub Actions](https://github.com/coq-community/run-coq-bug-minimizer/actions/runs/2552028727)) We are collecting data on the user experience of the Coq Bug Minimizer. If you haven't already filled the survey *for...

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

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

The "needs: rebase" label was set more than 30 days ago. If the PR is not rebased in 30 days, it will be automatically closed.

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

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

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