Skip to content

Pull requests: gap-system/PackageDistro

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

[qdistrnd] Update to 0.9.5 automated pr Automatically applied to PRs created by a GH workflow package update
#1058 opened Nov 20, 2024 by gap-package-distribution-bot bot Loading…
Run PR and main tests against 4.13.1, too
#1039 opened Sep 24, 2024 by fingolfin Loading…
[aaa] New package, version 0.1.0 automated pr Automatically applied to PRs created by a GH workflow new package
#799 opened Jun 5, 2023 by gap-package-distribution-bot bot Loading…
[autshift] New package, version 0.1.0 automated pr Automatically applied to PRs created by a GH workflow new package
#798 opened Jun 5, 2023 by gap-package-distribution-bot bot Loading…
ProTip! Adding no:label will show everything without a label.