Skip to content

Pull requests: gap-packages/smallsemi

New pull request New
Clear current search query, filters, and sorts
1 Open 37 Closed
1 Open 37 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Make DiagonalOfMultiplicationTable declaration more generic
#48 by fingolfin was merged Dec 7, 2024 Loading…
3
Remove version in README
#47 by fingolfin was merged Dec 7, 2024 Loading…
1
2
Bump codecov/codecov-action from 4 to 5 dependencies Pull requests that update a dependency file
#46 by dependabot bot was merged Nov 19, 2024 Loading…
1
Generalize IsSelfDualSemigroup declaration
#45 by fingolfin was merged Nov 2, 2024 Loading…
1
Update version numbers etc for v0.7.1 release-candidate
#43 by james-d-mitchell was merged Aug 27, 2024 Loading…
1
Rewrite data/data8-3nil/diag*pos.gl.gz files, avoid one use of EvalString
#42 by fingolfin was merged Aug 9, 2024 Loading…
3
Fix codecov integration to use upload token
#41 by fingolfin was merged Jun 15, 2024 Loading…
1
Turn BLUEPRINT_MATS into a function
#40 by fingolfin was merged Jun 15, 2024 Loading…
3
Update version numbers etc for v0.7.0
#39 by james-d-mitchell was merged May 20, 2024 Loading…
Bump codecov/codecov-action from 3 to 4 dependencies Pull requests that update a dependency file
#38 by dependabot bot was merged May 20, 2024 Loading…
Revert aa83955 changes to data files
#35 by james-d-mitchell was merged May 17, 2024 Loading…
1
2
Cleanups
#32 by james-d-mitchell was merged May 20, 2024 Loading…
1
Lint
#30 by james-d-mitchell was merged Jan 16, 2024 Loading…
2
Lint all files in gap/* + PackageInfo.g, and make some simplifications
#29 by james-d-mitchell was closed Jan 16, 2024 Loading…
Switch to two argument version of ReadPackage
#28 by fingolfin was merged Jan 11, 2024 Loading…
2
Update CI config
#27 by fingolfin was merged Jan 11, 2024 Loading…
2
Replace DeclareGlobalVariable/InstallValue by BindGlobal
#26 by fingolfin was merged Sep 25, 2022 Loading…
1
Prepare v0.6.13
#24 by fingolfin was merged Feb 28, 2022 Loading…
3
CI: Ensure code coverage reporting will work in February 2022 and beyond
#22 by fingolfin was merged Feb 2, 2022 Loading…
1
Update CHANGELOG
#21 by fingolfin was merged Feb 28, 2022 Loading…
2
Switch CI to use GitHub Actions
#20 by fingolfin was merged May 7, 2021 Loading…
4
Add comment to declaration of MinimalGeneratingSet
#19 by wilfwilson was merged May 20, 2021 Loading…
Accommodate future changed ViewStrings in GAP
#18 by wilfwilson was merged May 14, 2020 Loading…
1
Tweak Travis
#17 by wilfwilson was closed Apr 6, 2021 Loading…
11
Tell AutoDoc to process the bibliography.
#16 by jamesjer was merged Aug 27, 2019 Loading…
4
ProTip! Type g i on any issue or pull request to go back to the issue listing page.