Issues

• Alerts regarding log buffer overflows

  rocq-prover/bot#355 · Filter by author Zimmi48 opened on Nov 6, 2025
  1

• Minimizer uses outdated failed job instead of successful retry for dependency artifacts

  bug minimizerbug
  rocq-prover/bot#353 · Filter by author SkySkimmer opened on Nov 5, 2025
  2

• [feature] minimizer should support regression minimization

  bug minimizerenhancement
  rocq-prover/bot#346 · Filter by author JasonGross opened on Jul 19, 2025
  1

• [wish] hide messages that are just orders to the bot

  enhancement
  rocq-prover/bot#342 · Filter by author gares opened on Jun 11, 2025
  2

• Recent issue when pushing status check

  bug
  rocq-prover/bot#339 · Filter by author Zimmi48 opened on Mar 31, 2025

• Confusion between stdlib and stdlib-flambda when it fails

  bug
  rocq-prover/bot#335 · Filter by author SkySkimmer opened on Feb 9, 2025
  4

• Issues are sometimes closed multiple times, triggering the bot as many times.

  bug
  rocq-prover/bot#334 · Filter by author Zimmi48 opened on Jan 31, 2025

• coqbot should not add "needs: full ci" after trivial rebase

  enhancement
  rocq-prover/bot#327 · Filter by author andres-erbsen opened on Oct 29, 2024
  7

• wish: answer to @rocqbot

  enhancement
  rocq-prover/bot#325 · Filter by author gares opened on Oct 25, 2024
  10

• Mask secret data in all logging functions

  enhancement
  rocq-prover/bot#323 · Filter by author JasonGross opened on Oct 14, 2024

• Minimizer on issues should be able to compare coq versions

  bug minimizerenhancement
  rocq-prover/bot#301 · Filter by author SkySkimmer opened on Mar 13, 2024

• coqbot should be able to add reactions rather than just posting comments (e.g., for minimization)

  enhancement
  rocq-prover/bot#300 · Filter by author JasonGross opened on 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

  enhancement
  rocq-prover/bot#313 · Filter by author JasonGross opened on Jan 4, 2024
  1

• "needs" and "request full CI" should be removed only after the pipeline is successfully started

  bug
  rocq-prover/bot#295 · Filter by author SkySkimmer opened on Nov 21, 2023

• [CI minimization] File name should include project info rather than be bug.v

  bug minimizer
  rocq-prover/bot#292 · Filter by author JasonGross opened on Sep 2, 2023

• Add backoff strategy to auto retry of failing CI jobs

  bug
  rocq-prover/bot#289 · Filter by author erikmd opened on Jul 12, 2023
  7

• Using coqbot to run OCaml benchmarks

  enhancement
  rocq-prover/bot#288 · Filter by author Zimmi48 opened on Jul 6, 2023
  3

• coqbot can show light pipeline as cancelled when full pipeline is running.

  bug
  rocq-prover/bot#287 · Filter by author Zimmi48 opened on Jun 9, 2023
  2

• Support for @coqbot run full CI in PR body.

  enhancement
  rocq-prover/bot#286 · Filter by author Zimmi48 opened on Jun 5, 2023
  1

• Issue in the bug minimizer code with the call to git push --delete.

  bug minimizer
  rocq-prover/bot#284 · Filter by author Zimmi48 opened on May 25, 2023

• update_bench_status should check whether status is valid before querying GitHub.

  bug
  rocq-prover/bot#283 · Filter by author Zimmi48 opened on May 22, 2023

• Reduce log verbosity by printing less output for git commands

  enhancement
  rocq-prover/bot#280 · Filter by author Zimmi48 opened on Apr 26, 2023
  2

• Document coqbot bench.

  enhancement
  rocq-prover/bot#279 · Filter by author Zimmi48 opened on Apr 21, 2023

• coqbot minimizer should upload and attach the file to GH when it's truncated

  bug minimizerenhancement
  rocq-prover/bot#277 · Filter by author JasonGross opened on Apr 17, 2023
  1

• Print warnings from GraphQL API results in log.

  enhancement
  rocq-prover/bot#275 · Filter by author Zimmi48 opened on Apr 16, 2023