rocq-prover/bot

View on GitHub

The Rocq Prover bot

Stars: 30
Forks: 17
Open beginner issues: 0
Indexed issues: 114

Dominant language: OCaml
License: MIT
Last GitHub push: Aug 31, 2026
Latest indexed: Sep 19, 2026
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Beginner labels: good first issue
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

114 open issues indexed

Alerts regarding log buffer overflows Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

rocq-prover/bot#355 · 1 comment · Opened Nov 6, 2025
Minimizer uses outdated failed job instead of successful retry for dependency artifacts Open

bug bug minimizer

Difficulty 4/5 3-5 days Newbie friendliness 30/100

rocq-prover/bot#353 · 2 comments · Opened Nov 5, 2025
[feature] minimizer should support regression minimization Open

bug minimizer enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

rocq-prover/bot#346 · 1 comment · Opened Jul 19, 2025
[wish] hide messages that are just orders to the bot Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/bot#342 · 2 comments · Opened Jun 11, 2025
Recent issue when pushing status check Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 30/100

rocq-prover/bot#339 · Opened Mar 31, 2025
Confusion between stdlib and stdlib-flambda when it fails Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 30/100

rocq-prover/bot#335 · 4 comments · Opened Feb 9, 2025
Issues are sometimes closed multiple times, triggering the bot as many times. Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 30/100

rocq-prover/bot#334 · Opened Jan 31, 2025
coqbot should not add "needs: full ci" after trivial rebase Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/bot#327 · 7 comments · Opened Oct 29, 2024
wish: answer to `@rocqbot` Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

rocq-prover/bot#325 · 10 comments · Opened Oct 25, 2024
Mask secret data in all logging functions Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

rocq-prover/bot#323 · Opened Oct 14, 2024
Minimizer on issues should be able to compare coq versions Open

bug minimizer enhancement

Difficulty 5/5 Over a week Newbie friendliness 30/100

rocq-prover/bot#301 · Opened Mar 13, 2024
coqbot should be able to add reactions rather than just posting comments (e.g., for minimization) Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 45/100

rocq-prover/bot#300 · 1 reaction · Opened Mar 8, 2024
Checks tab should list duration of the "Preparing the "custom" executor" or "Executing "step_script" stage of the job script" step when the job times out Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 45/100

rocq-prover/bot#313 · 1 comment · Opened Jan 4, 2024
"needs" and "request full CI" should be removed only after the pipeline is successfully started Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 45/100

rocq-prover/bot#295 · 1 reaction · Opened Nov 21, 2023
[CI minimization] File name should include project info rather than be `bug.v` Open

bug minimizer

Difficulty 3/5 1-2 days Newbie friendliness 38/100

rocq-prover/bot#292 · Opened Sep 2, 2023
Add backoff strategy to auto retry of failing CI jobs Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 25/100

rocq-prover/bot#289 · 7 comments · Opened Jul 12, 2023
Using coqbot to run OCaml benchmarks Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 20/100

rocq-prover/bot#288 · 3 comments · Opened Jul 6, 2023
coqbot can show light pipeline as cancelled when full pipeline is running. Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/bot#287 · 2 comments · Opened Jun 9, 2023
Support for `@coqbot run full CI` in PR body. Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/bot#286 · 1 comment · Opened Jun 5, 2023
Issue in the bug minimizer code with the call to git push --delete. Open

bug minimizer

Difficulty 2/5 1-3 hours Newbie friendliness 62/100

rocq-prover/bot#284 · Opened May 25, 2023
`update_bench_status` should check whether status is valid before querying GitHub. Open

bug

Difficulty 2/5 1-3 hours Newbie friendliness 52/100

rocq-prover/bot#283 · Opened May 22, 2023
Reduce log verbosity by printing less output for git commands Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/bot#280 · 2 comments · Opened Apr 26, 2023
Document coqbot bench. Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 38/100

rocq-prover/bot#279 · Opened Apr 21, 2023
coqbot minimizer should upload and attach the file to GH when it's truncated Open

bug minimizer enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/bot#277 · 1 comment · Opened Apr 17, 2023
Print warnings from GraphQL API results in log. Open

enhancement

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

rocq-prover/bot#275 · Opened Apr 16, 2023
Document coqbot autominimizer defaults Open

bug minimizer

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

rocq-prover/bot#271 · 2 comments · Opened Feb 12, 2023
Minimizer gets confused when there are multiple pipelines for the base commit Open

bug bug minimizer

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/bot#267 · 1 comment · Opened Feb 9, 2023
Make documentation of coqbot autominimization more discoverable Open

bug minimizer enhancement good first issue

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/bot#266 · Opened Jan 26, 2023
Better error messages on uncaught exceptions Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 30/100

rocq-prover/bot#264 · 4 comments · Opened Jan 23, 2023
Ensure that no unwanted TODOs or FIXMEs remain before merging Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

rocq-prover/bot#261 · 3 comments · Opened Dec 6, 2022
Ensure calls to GitHub's REST API are sending the proper version header. Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 30/100

rocq-prover/bot#260 · Opened Nov 29, 2022
Re-run all checks and re-run failed checks are not supported. Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/bot#259 · 2 comments · Opened Nov 27, 2022
"bench native" should be "bench native=on" Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 25/100

rocq-prover/bot#250 · 1 comment · Opened Nov 2, 2022
Ideas for reducing the CI runner load Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

rocq-prover/bot#248 · 3 comments · Opened Oct 18, 2022
Look at CACHEKEY in the gitlab yml instead of at the Dockerfile to trigger the docker job Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 30/100

rocq-prover/bot#235 · Opened Jul 18, 2022
Make coqbot workaround the GitHub→GitLab 30' lag for syncing the main branches? Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

rocq-prover/bot#234 · 4 comments · Opened Jun 27, 2022
Ability to mark ci jobs as broken Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/bot#231 · Opened Jun 17, 2022
coqbot should store as much info as possible in the logs when something unexpected has happened Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/bot#227 · Opened May 11, 2022
coqbot not reporting all needed conditions for merge of PR Open

enhancement good first issue

Difficulty 3/5 1-2 days Newbie friendliness 38/100

rocq-prover/bot#225 · 2 comments · 1 reaction · Opened Apr 1, 2022
Webhook signature will be incorrect if an escape sequence is used in the body Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/bot#224 · 9 comments · Opened Mar 31, 2022
Replace result with Result.t Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/bot#223 · 1 reaction · Opened Mar 29, 2022
@coqbot bench should allow customizing the list of packages to bench Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/bot#221 · 4 comments · Opened Mar 28, 2022
Coqbot should report the reason it suggests not minimizing targets when we request that it minimize them anyway, at least when there are no suggested targets. Open

bug minimizer enhancement

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/bot#220 · Opened Mar 25, 2022
Does coqbot only look amongst suggested jobs for minimizing? Open

bug bug minimizer

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/bot#219 · 4 comments · Opened Mar 25, 2022
Minimizer should report less when continuing minimization Open

bug minimizer enhancement

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/bot#216 · 6 comments · Opened Mar 22, 2022
Merging can fail if base branch has moved. Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/bot#215 · Opened Mar 22, 2022
Reminder if merge now failed Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 30/100

rocq-prover/bot#209 · 1 comment · Opened Mar 15, 2022
New issue when creating check runs. Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 25/100

rocq-prover/bot#203 · 5 comments · Opened Feb 28, 2022
coqbot should not post a failure message when rerunning individual jobs that succeed Open

bug bug minimizer

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/bot#202 · 2 comments · Opened Feb 16, 2022
Deploy as an opam package Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

rocq-prover/bot#201 · 3 comments · Opened Feb 11, 2022

rocq-prover/bot

Get new issues in your inbox