procrastinate icon indicating copy to clipboard operation
procrastinate copied to clipboard

Published 20 hours ago • verified publisher icon procrastinate-org

Enable merge queues

Open ewjoachim opened this issue 6 months ago • 0 comments
trafficstars

ReadTheDocs is not supporting merge queues: https://github.com/readthedocs/readthedocs.org/issues/10021

We could make ReadTheDocs not required on PRs or not use ReadTheDocs to build the docs on PRs (either build and not serve html, or maybe use Cloudflare pages to build the docs for PR previews (while still using ReadTheDocs for the real doc)

Also, Python-coverage-comment-action is broken on merge_group. I'll open a ticket over there and hopefully they'll solve it fast, because this action is maintained by awesome people (lol)

Once both issues are solved, we may activate merge queues.

ewjoachim avatar May 14 '25 21:05 ewjoachim