-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: GatorEducator/gatorgrade
When initially launching gatorgrade in a repo with a gatorgra...
#104
opened Sep 9, 2022 by
AlmostFaultTolerant
Open
2
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
gatorgrade configuration bug
bug
Something isn't working
documentation
Improvements or additions to documentation
input
Requirement for Input team
#106
opened Sep 15, 2022 by
ColemanKobe
Provide more detailed exception reports
enhancement
New feature or request
help-wanted
#96
opened Aug 7, 2022 by
Michionlion
Make assignment name configurable
enhancement
New feature or request
help-wanted
#95
opened Aug 4, 2022 by
mariakimheinert
Validate checks
enhancement
New feature or request
help-wanted
#94
opened Aug 4, 2022 by
mariakimheinert
Add type hints
enhancement
New feature or request
good-first-issue
help-wanted
#93
opened Jul 23, 2022 by
mariakimheinert
Separate MKDocs job into two jobs.
enhancement
New feature or request
integration
Requirement for Integration team
#34
opened Apr 11, 2022 by
ullrichd21
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.