coqbot-app[bot]
coqbot-app[bot]
Minimized File /github/workspace/builds/coq/coq-failing/_build_ci/vst/floyd/closed_lemmas.v (from ci-vst) (interrupted by timeout, being automatically continued) (full log [on GitHub Actions](https://github.com/coq-community/run-coq-bug-minimizer/actions/runs/1065485711)) Minimized Coq File (truncated to 32KiB; full 81KiB file on GitHub Actions Artifacts under...
Minimized File /github/workspace/builds/coq/coq-failing/_build_ci/vst/floyd/closed_lemmas.v (from ci-vst) (full log [on GitHub Actions](https://github.com/coq-community/run-coq-bug-minimizer/actions/runs/1066053000)) Minimized Coq File (truncated to 32KiB; full 80KiB file on GitHub Actions Artifacts under bug.v) ```coq (* -*- mode: coq;...
Hey, I have detected that there were CI failures at commit 782eabced71937ee51952a4927c43440f6353178 without any failure in the test-suite. I checked that the corresponding jobs for the base commit ad978dfa3c84e9fd025089c87b7219800d22ffb2 succeeded....
Hey, I have detected that there were CI failures at commit 9c4aecb67b5a84a850ff6b29dfb1fa11dea6585d without any failure in the test-suite. I checked that the corresponding jobs for the base commit 460e57e2763aeab56393fc848618e794b489f3e1 succeeded....
Hey, I have detected that there were CI failures at commit 2b4494fc6be5f9af336a3c50fd5e1cb09cafe495 without any failure in the test-suite. I checked that the corresponding jobs for the base commit 8fa85c036113c0f41531bd2f371c063957f0da21 succeeded....
Hey, I have detected that there were CI failures at commit 1c62ca8b85a612fa5e153c57cba0928306a1805d without any failure in the test-suite. I checked that the corresponding jobs for the base commit 21e199784cb8330086b815972c3639c18469d497 succeeded....
Hey, I have detected that there were CI failures at commit 421fb368c30ea24d72fa60072fc7962f7d9ac2a7 without any failure in the test-suite. I checked that the corresponding jobs for the base commit 21e199784cb8330086b815972c3639c18469d497 succeeded....
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.