coqbot-app[bot]

@Zimmi48: You cannot merge this PR because: - No milestone has been set.

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.

This PR was not rebased after 30 days despite the warning, it is now closed.

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 "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 "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 "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/2666851403) has failed in allow failure mode ping @JasonGross

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

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