coqbot-app[bot]

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

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

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

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

I was unable to minimize any of the CI targets that you requested. The requested target 'ci-ext_lib' could not be found among the jobs .

:red_circle: CI failure at commit efcbdc6cb62a656696eedefa07e3ec4bf64fef33 without any failure in the test-suite :heavy_check_mark: Corresponding job for the base commit fb6cc6bcd045cd56d8945fd0ee30954df90367bb succeeded :grey_question: Ask me to try to extract a minimal...

I have [initiated minimization](https://github.com/rocq-community/run-coq-bug-minimizer/actions) at commit efcbdc6cb62a656696eedefa07e3ec4bf64fef33 for the suggested target ci-equations as requested.

Minimized File /home/runner/work/run-coq-bug-minimizer/run-coq-bug-minimizer/builds/coq/coq-failing/_build_ci/equations/_build/default/theories/Prop/NoCycle.v in 2m 40s (from ci-equations) (full log on GitHub Actions - verbose log) We are collecting data on the user experience of the Coq Bug Minimizer. If...

:red_circle: CI failure at commit 1698dfd5afb33c1b7efcf5e19f16ceb681ffe8af without any failure in the test-suite :heavy_check_mark: Corresponding job for the base commit a24ec8711bdab4d20dab309d9b59af1d9b6d6d64 succeeded :grey_question: Ask me to try to extract a minimal...

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