Skip to content

Issues: rocq-prover/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

Clear current search query, filters, and sorts
113 Open 83 Closed
113 Open 83 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

Possible race when pushing quickly several times to a PR bug Something isn't working
#34 opened May 6, 2019 by Zimmi48
Add/Remove pull request from backporting project when its milestone is updated. enhancement New feature or request
#38 opened Aug 28, 2019 by Zimmi48
Management of several open backport projects could be improved. enhancement New feature or request
#48 opened Mar 3, 2020 by Zimmi48
@coqbot could handle a lot of the release management taks. enhancement New feature or request
#51 opened May 15, 2020 by Zimmi48
Remove surrounding double quotes in result of get_pull_request_refs. enhancement New feature or request
#61 opened Jun 25, 2020 by Zimmi48
deploy shouldn't run on forks bug Something isn't working
#87 opened Aug 20, 2020 by SkySkimmer
Merge with coqbot feedback enhancement New feature or request
#95 opened Aug 25, 2020 by Zimmi48
1 of 3 tasks
@coqbot rebase feature enhancement New feature or request
#105 opened Sep 7, 2020 by CohenCyril
Support @coqbot: merge tomorrow and @coqbot: merge when CI passes enhancement New feature or request
#108 opened Sep 17, 2020 by Zimmi48
Do not take into account deleted or modified overlays, only new ones. bug Something isn't working
#114 opened Oct 23, 2020 by Zimmi48
Update cryptographic signature verification from sha1 to sha256 enhancement New feature or request
#117 opened Nov 16, 2020 by Zimmi48
[wish] automatic label "has overlays" question Further information is requested
#118 opened Nov 18, 2020 by gares
Enable "Post comment when a pull request does not respect certain standards" for other coqbot users enhancement New feature or request
#123 opened Dec 18, 2020 by myii
GitLab subgroups fix for #120 still needs some finalisation bug Something isn't working
#124 opened Dec 18, 2020 by myii
JSON parsing failure on PR close event webhook. bug Something isn't working
#125 opened Jan 23, 2021 by Zimmi48
coqbot starts creating empty, unconfigured repositories bug Something isn't working
#127 opened Feb 6, 2021 by myii
Retrieved GitLab trace can be wrong bug Something isn't working
#137 opened Apr 28, 2021 by Zimmi48
coqbot should warn about PRs whose changelog entry number does not match the PR number enhancement New feature or request
#138 opened May 5, 2021 by JasonGross
Report which commit hash was tested for external projects in Coq's CI. enhancement New feature or request
#141 opened May 30, 2021 by Zimmi48
Update to latest versions of libraries. enhancement New feature or request
#156 opened Jul 19, 2021 by Zimmi48
3 of 4 tasks
Feature adding milestone to close issues is currently broken. bug Something isn't working
#167 opened Sep 13, 2021 by Zimmi48
coqbot should be able to do traditional delta debugging on a PR bug minimizer enhancement New feature or request
#178 opened Nov 10, 2021 by JasonGross
Port coq bug minimizer bash script to GraphQL API for commits bug minimizer enhancement New feature or request good first issue Good for newcomers
#186 opened Dec 14, 2021 by JasonGross
coqbot could add suggested: rebase when it might fix CI failures enhancement New feature or request
#187 opened Dec 14, 2021 by JasonGross
Coqbot could automatically update minimization suggestions that are waiting base pipeline completion. bug minimizer
#191 opened Dec 27, 2021 by Zimmi48
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.