coqbot-app[bot]

Results 739 comments of coqbot-app[bot]

Rename Pcoq into Procq and introduce a deprecated module alias.

@proux01: Please take care of the following overlays: - 19736-ppedrot-we-will-rocq-you-pcoq.sh

Remove the hint_term type from the Hints API.

@SkySkimmer: Please take care of the following overlays: - 20781-ppedrot-hints-remove-hint-ref.sh

Algorithmically faster computation of argument scopes.

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

[DO NOT MERGE] Test coq bug minimizer

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

[DO NOT MERGE] Test coq bug minimizer

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

[DO NOT MERGE] Test coq bug minimizer

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

[DO NOT MERGE] Test coq bug minimizer

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

[DO NOT MERGE] Test coq bug minimizer

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

[DO NOT MERGE] Test coq bug minimizer

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

[DO NOT MERGE] Test coq bug minimizer

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