Skip to content
This repository has been archived by the owner on Mar 7, 2024. It is now read-only.

Issues: gap-system/pkg-ci-scripts

10 Open 0 Closed
10 Open 0 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

Packages in GAP_PKGS_TO_CLONE aren't properly deleted before cloning: bug Something isn't working
#17 opened Dec 15, 2021 by wilfwilson
Why are configure and make invoked differently in scripts/build_pkg.sh depending on the presence of autogen.sh?
#14 opened May 19, 2021 by wilfwilson
Use SetPackagePath in run_tests.sh
#8 opened Oct 21, 2019 by fingolfin
Add support for coveralls
#7 opened Sep 3, 2019 by fingolfin
2
Add a way to (also) run tests with all packages loaded / with no packages loaded?
#6 opened Sep 3, 2019 by fingolfin
Add a way to easily test that makedoc.g works
#5 opened Sep 3, 2019 by fingolfin
1
Complete the README, in particular the setup instructions help wanted Extra attention is needed
#4 opened Sep 3, 2019 by fingolfin
1
Add mode for using the required versions of GAP and needed packages enhancement New feature or request
#3 opened Jul 9, 2019 by wilfwilson
1
gather-coverage.sh should fail if there is a problem with coverage files.
#2 opened Feb 23, 2019 by markuspf
Add support for more CI providers
#1 opened Feb 5, 2019 by fingolfin
1 of 5 tasks
ProTip! Updated in the last three days: updated:>2024-12-10.