- Notifications
You must be signed in to change notification settings - Fork 61
Pull requests: digraphs/Digraphs
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Re-standardise on function arguments named A label for PRs or issues that are minor in some sense. technical A necessary technical change, not interesting mathematically/feature-wise
D, as opposed to digraph minor #868 by wilfwilson was merged Oct 1, 2025 Loading…
Remove support for GAP 4.10 do not merge A label for PRs that should not be merged for whatever reason. technical A necessary technical change, not interesting mathematically/feature-wise
#866 by wilfwilson was merged Oct 7, 2025 Loading…
Use the A label for PRs or issues that are minor in some sense. technical A necessary technical change, not interesting mathematically/feature-wise tests A label for issues/PRs relating to adding or updating tests or the testing system
#@local variables declaration syntax in all Digraphs test files minor #836 by wilfwilson was merged Sep 20, 2025 Loading…
Re-add codecov code coverage to the CI ci Issues/PRs related to continuous integration (Azure Pipelines, GitHub Actions, AppVeyor, Codecov) technical A necessary technical change, not interesting mathematically/feature-wise
#832 by wilfwilson was merged Sep 12, 2025 Loading…
Make A label for PRs or issues that are minor in some sense. technical A necessary technical change, not interesting mathematically/feature-wise tests A label for issues/PRs relating to adding or updating tests or the testing system
DIGRAPHS_OmitFromTests be dynamically calculated minor #829 by wilfwilson was merged Sep 11, 2025 Loading…
Discard fewer tests when GRAPE isn't loaded bugfix A label for PRs that fix a bug minor A label for PRs or issues that are minor in some sense. technical A necessary technical change, not interesting mathematically/feature-wise tests A label for issues/PRs relating to adding or updating tests or the testing system
#827 by wilfwilson was merged Sep 10, 2025 Loading…
Update test output for compatibility with pluralisation changes in GAP do not merge A label for PRs that should not be merged for whatever reason. minor A label for PRs or issues that are minor in some sense. technical A necessary technical change, not interesting mathematically/feature-wise tests A label for issues/PRs relating to adding or updating tests or the testing system
#808 by wilfwilson was closed Sep 26, 2025 • Draft
Remove the redundant Issues/PRs related to continuous integration (Azure Pipelines, GitHub Actions, AppVeyor, Codecov) minor A label for PRs or issues that are minor in some sense. technical A necessary technical change, not interesting mathematically/feature-wise
.covignore file ci #805 by wilfwilson was merged Sep 4, 2025 Loading…
Remove redundant Issues/PRs related to continuous integration (Azure Pipelines, GitHub Actions, AppVeyor, Codecov) minor A label for PRs or issues that are minor in some sense. technical A necessary technical change, not interesting mathematically/feature-wise
scripts/check-code-coverage.sh ci #804 by wilfwilson was merged Sep 4, 2025 Loading…
Fix some broken URLs of author homepages minor A label for PRs or issues that are minor in some sense. technical A necessary technical change, not interesting mathematically/feature-wise
#793 by wilfwilson was merged Sep 1, 2025 Loading…
Add a A necessary technical change, not interesting mathematically/feature-wise website Issues and PRs concerning the Digraphs package website
CHANGES_URL field for our CHANGELOG.md file to PackageInfo.g technical #792 by wilfwilson was merged Sep 1, 2025 Loading…
Update the "Release" GitHub Action workflow to not wipe the website code with each new release bugfix A label for PRs that fix a bug github_actions Pull requests that update GitHub Actions code technical A necessary technical change, not interesting mathematically/feature-wise website Issues and PRs concerning the Digraphs package website
#790 by wilfwilson was merged Sep 1, 2025 Loading…
Add Label for things we might/will/did work on in Koper, or that arose there technical A necessary technical change, not interesting mathematically/feature-wise
GitHubUsername to authors in the PackageInfo.g file gap-days-summer-2025-koper #786 by wilfwilson was merged Sep 1, 2025 Loading…
Add Label for things we might/will/did work on in Koper, or that arose there minor A label for PRs or issues that are minor in some sense. technical A necessary technical change, not interesting mathematically/feature-wise
doc/title.xml to .gitignore gap-days-summer-2025-koper #780 by wilfwilson was merged Aug 27, 2025 Loading…
Remove from Label for things we might/will/did work on in Koper, or that arose there minor A label for PRs or issues that are minor in some sense. technical A necessary technical change, not interesting mathematically/feature-wise
.dirstamp files gap-days-summer-2025-koper #774 by wilfwilson was merged Aug 25, 2025 Loading…
build: support for EAPS 4 C language A label for issues or pull requests relating to the kernel module of the package difficulty: 3 Label for feature requests that are probably rather hard major A label for PRs or issues that are major in some sense. technical A necessary technical change, not interesting mathematically/feature-wise
#766 by jengelh was merged Sep 25, 2025 Loading…
Standardise the way that A label for PRs or issues that are minor in some sense. technical A necessary technical change, not interesting mathematically/feature-wise
UndirectedSpanningForest works in relation to mutability minor #582 by wilfwilson was merged Apr 26, 2023 Loading…
build: remove the default flag -march=native technical A necessary technical change, not interesting mathematically/feature-wise
#541 by james-d-mitchell was merged Apr 6, 2022 Loading…
Lint technical A necessary technical change, not interesting mathematically/feature-wise
#529 by james-d-mitchell was merged Feb 16, 2022 Loading…
Remove A label for PRs that fix a bug doc Issues, bugs, pull requests relating to the documentation minor A label for PRs or issues that are minor in some sense. technical A necessary technical change, not interesting mathematically/feature-wise
doc/*.js, doc/*.css, doc/chooser.html from the repo bugfix #511 by wilfwilson was merged Nov 3, 2021 Loading…
ProTip! Exclude everything labeled
bug with -label:bug.