leanprover-bot

Reference manual CI status: - ❗ Reference manual CI will not be attempted unless your PR branches off the `nightly-with-manual` branch. Try `git rebase 72196169b679949b3a19d6c69b80189562cd5b7f --onto 19e1fe55f33a8aadc4243da32828b70a4b4677cc`. You can force...

Reference manual CI status: - ❗ Reference manual CI will not be attempted unless your PR branches off the `nightly-with-manual` branch. Try `git rebase cbf6fe5d1be2186da51492658cf1018f0762cc59 --onto d3dda9f6d4428a906c096067ecb75e432afc4615`. You can force...