-
Notifications
You must be signed in to change notification settings - Fork 3
Pull requests: gap-packages/smallantimagmas
Pull requests list
build(deps): Bump gaplint from 1.6.1 to 1.7.0 in the pip group
dependencies
Pull requests that update a dependency file
python
Pull requests that update Python code
#313
opened Sep 8, 2026 by
dependabot
Bot
Loading...
docs: Document IsLeftDerangedInducted
documentation
Improvements or additions to documentation
enhancement
New feature or request
#302
opened Sep 1, 2026 by
limakzi
Collaborator
Loading...
feat: Add order=1
enhancement
New feature or request
feature
#294
opened Sep 1, 2026 by
limakzi
Collaborator
Loading...
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.