coqbot-app[bot]

Error: Could not minimize file in 1m 52s (from ci-color) (full log [on GitHub Actions](https://github.com/rocq-community/run-coq-bug-minimizer/actions/runs/16227980021), cc @JasonGross) build log (truncated to last 26KiB; full 3.5MiB file on GitHub Actions Artifacts...

Error: Could not minimize file /home/runner/work/run-coq-bug-minimizer/run-coq-bug-minimizer/builds/coq/coq-failing/_build_ci/hott/theories/Limits/Pullback.v in 2m 19s (from ci-hott) (full log [on GitHub Actions](https://github.com/rocq-community/run-coq-bug-minimizer/actions/runs/16227980030), cc @JasonGross) build log (truncated to last 26KiB; full 2.4MiB file on GitHub Actions...

I am now [running minimization](https://github.com/rocq-community/run-coq-bug-minimizer/actions) at commit c5ffbb5ffa6dc7c8eb24e9036eaab1180bc7339e on requested targets ci-hott, ci-color. I'll come back to you with the results once it's done.

Error: Could not minimize file in 1m 45s (from ci-color) (full log [on GitHub Actions](https://github.com/rocq-community/run-coq-bug-minimizer/actions/runs/16259496501), cc @JasonGross) build log (truncated to last 26KiB; full 3.5MiB file on GitHub Actions Artifacts...

Minimized File /home/runner/work/run-coq-bug-minimizer/run-coq-bug-minimizer/builds/coq/coq-failing/_build_ci/hott/theories/Limits/Pullback.v in 44m 36s (from ci-hott) (full log on GitHub Actions - verbose log) We are collecting data on the user experience of the Coq Bug Minimizer. If...

@silene: You cannot merge this PR because: - There is still a `needs: full CI` label. - There is no `kind:` label.

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

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

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

:checkered_flag: Bench results: ``` ┌─────────────────────────────────────┬─────────────────────────┬───────────────────────────────────────┬─────────────────────────┐ │ │ user time [s] │ CPU instructions │ max resident mem [KB] │ │ │ │ │ │ │ package_name │ NEW OLD PDIFF...