Skip to content

Pull requests: gap-system/gap

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

Add a missing local declaration in a tst file release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#5917 by fingolfin was merged Jan 28, 2025 Loading…
Remove second argument from STOP_TEST invocations release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#5823 by fingolfin was merged Oct 24, 2024 Loading…
Add a few more IsRegularPGroup tests release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#5775 by fingolfin was merged Aug 27, 2024 Loading…
Add test for GAPInfo.Date format release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: library topic: tests issues or PRs related to tests
#5757 by lgoettgens was merged Jul 1, 2024 Loading…
create/update doc/ref/user_pref_list.xml automatically backport-to-4.13-DONE kind: bug Issues describing general bugs, and PRs fixing them release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: documentation Issues and PRs related to documentation topic: tests issues or PRs related to tests
#5681 by ThomasBreuer was merged Mar 18, 2024 Loading…
Fix check in testbugfix/2023-10-18-SetDimension.tst release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#5607 by james-d-mitchell was merged Jan 24, 2024 Loading…
Cleanup in tst release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#5571 by fingolfin was merged Jan 10, 2024 Loading…
Move slow tests to teststandard release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#5569 by fingolfin was merged Jan 10, 2024 Loading…
tst: fix file descriptor leaks release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#5568 by fingolfin was merged Jan 10, 2024 Loading…
Improve the dev/ci.sh script, make it usable interactive, and some related CI tweaks release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: ci Anything related to GitHub Actions, Codecov, AppVeyor, Coveralls, Travis, ... topic: tests issues or PRs related to tests
#5567 by fingolfin was merged Jan 10, 2024 Loading…
2
2
Don't fail testsuite if FinInG is unavailable release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#5565 by fingolfin was merged Jan 9, 2024 Loading…
fix a regression in Test release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#5553 by ThomasBreuer was merged Jan 4, 2024 Loading…
Disable tests for DirectoryHome, DirectoryDesktop release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: library topic: tests issues or PRs related to tests
#5518 by fingolfin was merged Oct 13, 2023 Loading…
Added testfiles ... kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#5389 by ThomasBreuer was merged Mar 14, 2023 Loading…
Remove SmallGroupsInformation(512) test release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker) topic: tests issues or PRs related to tests
#5380 by fingolfin was merged Feb 14, 2023 Loading…
Remove 'testfile' at end of test release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#5331 by fingolfin was merged Jan 23, 2023 Loading…
tests that libgap works correctly with kernel modules - draft topic: tests issues or PRs related to tests
#5234 by dimpase was closed Dec 1, 2022 Draft
Fix a START_TEST/STOP_TEST mismatch release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#5202 by fingolfin was merged Nov 15, 2022 Loading…
Improve how Test handles #@exec comments in .tst files (by executing these earlier to allow #@if comments to depend on them) kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: tests issues or PRs related to tests
#5049 by zickgraf was merged Sep 21, 2022 Loading…
Adjust tests for GAPDoc 1.6.6 release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#5000 by fingolfin was merged Aug 17, 2022 Loading…
test-compile/regenerate_tests.sh: stop generating .static files release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#4953 by fingolfin was merged Jul 20, 2022 Loading…
tst: test gac output for multi-arg Info statements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: gac GAP to C compiler topic: tests issues or PRs related to tests
#4952 by fingolfin was merged Jul 20, 2022 Loading…
Remove a test for data in the small groups library release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#4853 by fingolfin was merged Apr 8, 2022 Loading…
Relax correctness check of Test pragmas kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: tests issues or PRs related to tests
#4638 by fingolfin was merged Aug 30, 2021 Loading…
Improve testspecial and test-compile scripts release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: infrastructure topic: tests issues or PRs related to tests
#4586 by fingolfin was merged Jun 28, 2021 Loading…
ProTip! Add no:assignee to see everything that’s not assigned.