coqbot-app[bot]

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

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.

:red_circle: CI failure at commit fc7954d047ce43e0def2beeefd85704d5749eb13 without any failure in the test-suite :heavy_check_mark: Corresponding job for the base commit 43402d4334cc2a57ea08f619a840aef1695e1626 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.

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 failures at commit 34eed0c7ee93ed6f5ded98903fcb21e68f3d9360 without any failure in the test-suite :heavy_check_mark: Corresponding jobs for the base commit 66c6807b4a2f9abd2a426d94c5997a041bf0ae95 succeeded :grey_question: Ask me to try to extract minimal test...

:red_circle: CI failures at commit 0575cc8b3362838427b336afa91652102b218e18 without any failure in the test-suite :heavy_check_mark: Corresponding jobs for the base commit 4b2051845d2272c538efbeb663e9e11a8aa7b05f succeeded :grey_question: Ask me to try to extract minimal test...

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