coq/bot

Issues

• Migrating the backporting tracking mechanism to Projects V2.

  #278 opened a year ago by Zimmi48
  6

• Deprecation in GraphQL API to address by the end of June.

  #303 opened a month ago by Zimmi48
  1

• Coqbot could schedule a benchmark of CI run when the tag is set.

  #304 opened 14 days ago by ejgallego
  0

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

  #286 opened a year ago by Zimmi48
  1

• Minimizer on issues should be able to compare coq versions

  #301 opened 3 months ago by SkySkimmer
  0

• Improvement suggestions for the bench report.

  #218 opened 3 months ago by Zimmi48
  3

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

  #300 opened 4 months ago by JasonGross
  0

• Add backoff strategy to auto retry of failing CI jobs

  #289 opened a year ago by erikmd
  5

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

  #277 opened a year ago by JasonGross
  1

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

  #295 opened 7 months ago by SkySkimmer
  0

• Bot doesn't generate CI merge commits anymore

  #294 opened 9 months ago by SkySkimmer
  1

• ci minimization is broken due to change in format of reporting results

  #290 opened 10 months ago by JasonGross
  4

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

  #292 opened 10 months ago by JasonGross
  0

• Using coqbot to run OCaml benchmarks

  #288 opened a year ago by Zimmi48
  3

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

  #287 opened a year ago by Zimmi48
  0

• Incorrect link to gitlab pipeline in github check

  #282 opened a year ago by SkySkimmer
  2

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

  #284 opened a year ago by Zimmi48
  0

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

  #283 opened a year ago by Zimmi48
  0

• Reduce log verbosity by printing less output for git commands

  #280 opened a year ago by Zimmi48
  2

• Document coqbot bench.

  #279 opened a year ago by Zimmi48
  0

• Make coqbot workaround the GitHub→GitLab 30' lag for syncing the main branches?

  #234 opened 2 years ago by erikmd
  4

• Better error messages on uncaught exceptions

  #264 opened a year ago by JasonGross
  4

• Minimizer is treating all code blocks as Coq

  #269 opened a year ago by JasonGross
  4

• Document coqbot autominimizer defaults

  #271 opened a year ago by SkySkimmer
  2

• Auto resumption for non-ci-minimization

  #272 opened a year ago by JasonGross
  1

• Minimizer gets confused when there are multiple pipelines for the base commit

  #267 opened a year ago by SkySkimmer
  1

• Print warnings from GraphQL API results in log.

  #275 opened a year ago by Zimmi48
  0

• Minimizer should handle more kinds of shell blocks

  #268 opened a year ago by JasonGross
  0

• Bot no longer offers to minimize CI?

  #258 opened a year ago by JasonGross
  10

• Make documentation of coqbot autominimization more discoverable

  #266 opened a year ago by JasonGross
  0

• coqbot minimize should be able to minimize .v files

  #256 opened a year ago by JasonGross
  6

• Ensure that no unwanted TODOs or FIXMEs remain before merging

  #261 opened 2 years ago by maximedenes
  3

• Ensure calls to GitHub's REST API are sending the proper version header.

  #260 opened 2 years ago by Zimmi48
  0

• Re-run all checks and re-run failed checks are not supported.

  #259 opened 2 years ago by Zimmi48
  2

• coqbot removed the milestone of a merged PR

  #255 opened 2 years ago by Zimmi48
  1

• bench report should list failed jobs

  #243 opened 2 years ago by SkySkimmer
  3

• "bench native" should be "bench native=on"

  #250 opened 2 years ago by SkySkimmer
  1

• Retry jobs only once

  #239 opened 2 years ago by Zimmi48
  0

• Ideas for reducing the CI runner load

  #248 opened 2 years ago by jfehrle
  3

• coqbot minimizer feature may report CI failure on wrong commit

  #237 opened 2 years ago by Zimmi48
  0

• TODO adapt to coq/coq#15560

  #230 opened 2 years ago by Alizter
  1

• Look at CACHEKEY in the gitlab yml instead of at the Dockerfile to trigger the docker job

  #235 opened 2 years ago by SkySkimmer
  0

• Ability to mark ci jobs as broken

  #231 opened 2 years ago by Alizter
  0

• coqbot should store as much info as possible in the logs when something unexpected has happened

  #227 opened 2 years ago by Zimmi48
  0

• Webhook signature will be incorrect if an escape sequence is used in the body

  #224 opened 2 years ago by mattiasdrp
  9

• coqbot not reporting all needed conditions for merge of PR

  #225 opened 2 years ago by Alizter
  2

• Replace result with Result.t

  #223 opened 2 years ago by Alizter
  0

• @coqbot bench should allow customizing the list of packages to bench

  #221 opened 2 years ago by JasonGross
  4

• Does coqbot only look amongst suggested jobs for minimizing?

  #219 opened 2 years ago by JasonGross
  4

• 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.

  #220 opened 2 years ago by JasonGross
  0