coqbot-app[bot]

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

:checkered_flag: Bench results: ``` ┌──────────────────────────────┬─────────────────────────┬───────────────────────────────────────┬───────────────────────────────────────┬─────────────────────────┬───────────────────┐ │ │ user time [s] │ CPU cycles │ CPU instructions │ max resident mem [KB] │ mem faults │ │ │ │ │ │...

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

Minimized File /github/workspace/builds/coq/coq-failing/_build_ci/metacoq/erasure/theories/EInduction.v (from ci-metacoq) (interrupted by timeout, being automatically continued) (full log [on GitHub Actions](https://github.com/coq-community/run-coq-bug-minimizer/actions/runs/2812160199)) Minimized Coq File (truncated to 32KiB; full 34KiB file on GitHub Actions Artifacts under...

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

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

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

:checkered_flag: Bench results: ``` ┌──────────────────────────────┬─────────────────────────┬───────────────────────────────────────┬───────────────────────────────────────┬─────────────────────────┬───────────────────┐ │ │ user time [s] │ CPU cycles │ CPU instructions │ max resident mem [KB] │ mem faults │ │ │ │ │ │...

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

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