coqbot-app[bot]
coqbot-app[bot]
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.
This PR was not rebased after 30 days despite the warning, it is now closed.
:red_circle: CI failure at commit f4aa60c72ca1bac50525cea66f7826b54dbedf7d without any failure in the test-suite :heavy_check_mark: Corresponding job for the base commit 57b738b9f8c252f3ee23c4459ee6cbdc7e05ae29 succeeded :grey_question: Ask me to try to extract a minimal...
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.
@proux01: Please take care of the following overlays: - 19216-herbelin-clear-simpl.sh
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.