Skip to content

Issues: sympy/sympy-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

36 Open 16 Closed
36 Open 16 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Render deliveries are timing out
#105 opened May 16, 2023 by asmeurer
13
Heroku ending free tier
#101 opened Aug 25, 2022 by asmeurer
9
Update the wiki push test
#98 opened Oct 19, 2021 by asmeurer
Add automatic Binder deployment for commits
#93 opened Dec 5, 2020 by naveensaigit
2
Is it possible (or not to hard) to have the bot ping a github handle on a PR if it affects specific SymPy modules?
#91 opened Sep 22, 2020 by moorepants
7
Use the same comment for release notes and file added checks
#90 opened Jul 5, 2020 by sylee957
4
Make this a GitHub app
#89 opened Jun 24, 2020 by asmeurer
Detect orphan commits
#86 opened Apr 30, 2020 by asmeurer
Recognize co-authored-by in commit messages
#85 opened Apr 21, 2020 by asmeurer
4
Status not updated sometimes
#84 opened Feb 25, 2020 by asmeurer
6
Make the webapp tests easier to maintain
#78 opened Feb 18, 2020 by asmeurer
Warn on new or deleted files
#75 opened Feb 14, 2020 by asmeurer
6
Benchmark report
#74 opened Dec 2, 2019 by sylee957
Assign the issue to the person who opened the pull request
#72 opened Nov 3, 2019 by asmeurer
1
3
Better error for bad bullet on the header
#71 opened Oct 10, 2019 by asmeurer
Let the bot give people triage access
#68 opened Jul 16, 2019 by asmeurer
1
Do some basic linting of the PR description
#67 opened Jun 13, 2019 by asmeurer
Check for people adding author information
#66 opened Jun 9, 2019 by asmeurer
Automatic tagging and assigning of Pull Requests and Issues
#65 opened Apr 27, 2019 by czgdp1807
4
Render the submodule headers as Markdown headers?
#64 opened Apr 25, 2019 by asmeurer
1
Uniform second level list marking
#62 opened Mar 31, 2019 by oscargus
6
Another PR can cause a PR to be merged
#56 opened Mar 3, 2019 by asmeurer
7
<!-- END RELEASE NOTES --> not handled correctly when it isn't on its own line
#52 opened Mar 1, 2019 by asmeurer
1
why did sympy-bot add double entries for some PRs in the release notes?
#49 opened Feb 25, 2019 by dandiez
6
Improve test coverage
#47 opened Jan 29, 2019 by asmeurer
ProTip! Type g i on any issue or pull request to go back to the issue listing page.