Skip to content

Pull requests: rocq-prover/bot

New pull request New
13 Open 165 Closed
13 Open 165 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

CI add every 3 months GraphQL schema update workflow
#383 opened Aug 6, 2026 by lykimq Contributor Loading…
Make backport source branch configurable
#382 opened Aug 6, 2026 by lykimq Contributor Loading… Generic Bot Configuration - Migration Plan
Drive push/mirror routing from repo_config
#381 opened Aug 5, 2026 by lykimq Contributor Loading… Generic Bot Configuration - Migration Plan
Use repo config for minimizer URLs
#380 opened Aug 5, 2026 by lykimq Contributor Loading… Generic Bot Configuration - Migration Plan
Use repo config for bench GitLab job URLs and summary regex
#379 opened Aug 5, 2026 by lykimq Contributor Loading… Generic Bot Configuration - Migration Plan
Drive PR sync team checks and welcome messages from repo_config
#378 opened Aug 4, 2026 by lykimq Contributor Loading… Generic Bot Configuration - Migration Plan
Drive CI job dispatch and doc status from repo_config
#377 opened Aug 3, 2026 by lykimq Contributor Loading… Generic Bot Configuration - Migration Plan
Allow passing configuration options to the bench command
#372 opened Jul 30, 2026 by Janno Loading…
11
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! Find all pull requests that aren't related to any open issues with -linked:issue.