Skip to content

Pull requests: rocq-prover/bot

New pull request New
11 Open 159 Closed
11 Open 159 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix dune runtest by moving utils expect tests to Alcotest
#375 opened Jul 30, 2026 by lykimq Contributor Loading…
Refresh GraphQL schemas and fix nullable projectItems
#374 opened Jul 30, 2026 by lykimq Contributor Loading…
CI add @fmt to dune build
#373 opened Jul 30, 2026 by lykimq Contributor Loading…
Allow passing configuration options to the bench command
#372 opened Jul 30, 2026 by Janno Loading…
4
config: add per-repo TOML schema and parser
#371 opened Jul 29, 2026 by lykimq Contributor Loading…
3 tasks done
Generic Bot Configuration - Migration Plan
11
Fix dev setup: gitignore, formatting, and schema build rules
#370 opened Jul 29, 2026 by lykimq Contributor Loading…
3
Extract GitHub endpoint handling.
#247 opened Oct 18, 2022 by Zimmi48 Member Loading…
Account for new pipeline status: created.
#226 opened May 3, 2022 by Zimmi48 Member Loading…
2
Change expiration date properly
#213 opened Mar 18, 2022 by mattiasdrp Contributor • Draft
3
Be more lax on what merged PRs we detect, but post an alert.
#189 opened Dec 17, 2021 by Zimmi48 Member • Draft
1
Parse webhooks for GitHub App installations.
#157 opened Jul 19, 2021 by Zimmi48 Member • Draft
ProTip! Mix and match filters to narrow down what you’re looking for.