Skip to content

Issues: gap-system/gap

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

Clear current search query, filters, and sorts
10 Open 74 Closed
10 Open 74 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
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

Release notes tooling: honor ## Text for release notes? Or ditch it from the PR template? kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: infrastructure
#5007 opened Aug 18, 2022 by fingolfin
1
Release notes tooling: allow one PR to create multiple entries in the release notes kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: infrastructure
#5006 opened Aug 17, 2022 by fingolfin
1
Add CI job which enforces certain labels on PRs topic: infrastructure
#5003 opened Aug 17, 2022 by fingolfin
CI: use better job names on GitHub Actions kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: ci Anything related to GitHub Actions, Codecov, AppVeyor, Coveralls, Travis, ... topic: infrastructure
#4388 opened Apr 11, 2021 by fingolfin
Automate testing of release tarballs and providing nightly tarballs at a fixed URL topic: ci Anything related to GitHub Actions, Codecov, AppVeyor, Coveralls, Travis, ... topic: infrastructure
#4305 opened Mar 2, 2021 by fingolfin GAP 4.13.1
2
Add ~/.gap/v4.11, ~/.gap/v4.12, ... to default root paths? kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: infrastructure topic: kernel
#3917 opened Mar 12, 2020 by fingolfin
4
Add a third bootstrap variant which is "minimal" plus PackageManager topic: build system topic: infrastructure topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#3913 opened Mar 3, 2020 by fingolfin
@olexandr-konovalov
5
Investigate packaging gap for snap / flatpak kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: infrastructure
#3782 opened Dec 12, 2019 by ChrisJefferson
Find or write a GitHub bot which handles label implication kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: infrastructure
#3402 opened Apr 11, 2019 by fingolfin
2
Meta: document developer (and admin) workflows on GitHub and otherwise kind: discussion discussions, questions, requests for comments, and so on kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: documentation Issues and PRs related to documentation topic: infrastructure topic: workflow Meta: anything related to the development workflow of GAP
#3381 opened Mar 26, 2019 by fingolfin
20 tasks
1
ProTip! Add no:assignee to see everything that’s not assigned.