Issues: coq/bot
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Deprecation in GraphQL API to address by the end of June.
help wanted
Extra attention is needed
#303
opened May 17, 2024 by
Zimmi48
Minimizer on issues should be able to compare coq versions
bug minimizer
enhancement
New feature or request
#301
opened Mar 13, 2024 by
SkySkimmer
coqbot should be able to add reactions rather than just posting comments (e.g., for minimization)
enhancement
New feature or request
#300
opened Mar 8, 2024 by
JasonGross
"needs" and "request full CI" should be removed only after the pipeline is successfully started
bug
Something isn't working
#295
opened Nov 21, 2023 by
SkySkimmer
[CI minimization] File name should include project info rather than be
bug.v
bug minimizer
#292
opened Sep 2, 2023 by
JasonGross
Add backoff strategy to auto retry of failing CI jobs
bug
Something isn't working
#289
opened Jul 12, 2023 by
erikmd
Using coqbot to run OCaml benchmarks
enhancement
New feature or request
#288
opened Jul 6, 2023 by
Zimmi48
5 tasks
coqbot can show light pipeline as cancelled when full pipeline is running.
bug
Something isn't working
#287
opened Jun 9, 2023 by
Zimmi48
Support for New feature or request
@coqbot run full CI in PR body.
enhancement
#286
opened Jun 5, 2023 by
Zimmi48
Issue in the bug minimizer code with the call to git push --delete.
bug minimizer
#284
opened May 25, 2023 by
Zimmi48
update_bench_status should check whether status is valid before querying GitHub.
bug
#283
opened May 22, 2023 by
Zimmi48
Reduce log verbosity by printing less output for git commands
enhancement
New feature or request
#280
opened Apr 26, 2023 by
Zimmi48
Migrating the backporting tracking mechanism to Projects V2.
enhancement
New feature or request
#278
opened Apr 19, 2023 by
Zimmi48
coqbot minimizer should upload and attach the file to GH when it's truncated
bug minimizer
enhancement
New feature or request
#277
opened Apr 17, 2023 by
JasonGross
Print warnings from GraphQL API results in log.
enhancement
New feature or request
#275
opened Apr 16, 2023 by
Zimmi48
Minimizer gets confused when there are multiple pipelines for the base commit
bug minimizer
bug
Something isn't working
#267
opened Feb 9, 2023 by
SkySkimmer
Make documentation of coqbot autominimization more discoverable
bug minimizer
enhancement
New feature or request
good first issue
Good for newcomers
#266
opened Jan 26, 2023 by
JasonGross
Better error messages on uncaught exceptions
enhancement
New feature or request
#264
opened Jan 23, 2023 by
JasonGross
Ensure that no unwanted TODOs or FIXMEs remain before merging
enhancement
New feature or request
#261
opened Dec 6, 2022 by
maximedenes
Ensure calls to GitHub's REST API are sending the proper version header.
enhancement
New feature or request
#260
opened Nov 29, 2022 by
Zimmi48
Re-run all checks and re-run failed checks are not supported.
enhancement
New feature or request
#259
opened Nov 27, 2022 by
Zimmi48
coqbot removed the milestone of a merged PR
bug
Something isn't working
#255
opened Nov 21, 2022 by
Zimmi48
"bench native" should be "bench native=on"
bug
Something isn't working
#250
opened Nov 2, 2022 by
SkySkimmer
Previous Next
ProTip!
Adding no:label will show everything without a label.