Skip to content

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.

Sign up for GitHub

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

112 Open 81 Closed
112 Open 81 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

github status shows cancelled light pipeline instead of full pipeline after "run full ci" bug Something isn't working
#331 opened Nov 28, 2024 by SkySkimmer
coqbot should not add "needs: full ci" after trivial rebase enhancement New feature or request
#327 opened Oct 29, 2024 by andres-erbsen
6
wish: answer to @rocqbot enhancement New feature or request
#325 opened Oct 25, 2024 by gares
6
Mask secret data in all logging functions enhancement New feature or request
#323 opened Oct 14, 2024 by JasonGross
Coqbot could schedule a benchmark of CI run when the tag is set. enhancement New feature or request
#304 opened Jun 14, 2024 by ejgallego
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
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 New feature or request
#313 opened Jan 4, 2024 by JasonGross
1
"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
7
Using coqbot to run OCaml benchmarks enhancement New feature or request
#288 opened Jul 6, 2023 by Zimmi48
5 tasks
3
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 @coqbot run full CI in PR body. enhancement New feature or request
#286 opened Jun 5, 2023 by Zimmi48
1
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 Something isn't working
#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
2
Document coqbot bench. enhancement New feature or request
#279 opened Apr 21, 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
1
Print warnings from GraphQL API results in log. enhancement New feature or request
#275 opened Apr 16, 2023 by Zimmi48
Document coqbot autominimizer defaults bug minimizer
#271 opened Feb 12, 2023 by SkySkimmer
2
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
1
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
4
Ensure that no unwanted TODOs or FIXMEs remain before merging enhancement New feature or request
#261 opened Dec 6, 2022 by maximedenes
3
ProTip! Adding no:label will show everything without a label.