gap-actions setup-gap issues

gap-actions / setup-gap

Other

1 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Towards `setup-gap@v3`

#47 fingolfin opened 8 months ago
0
Change bin/gap.sh into gap as bin/gap.sh has been removed

#46 ChrisJefferson closed 12 months ago
0
Problem with 32-bit ubuntu builds?

#45 mtorpey opened 1 year ago
5
Look for package names in a case-insensitive way

#44 ChrisJefferson closed 2 years ago
2
GAP_PKGS_TO_BUILD is case sensitive, which causes breakage

#43 fingolfin closed 2 years ago
2
CI: test PRs as PRs, and limit push tests to master

#42 fingolfin closed 2 years ago
1
Enable action to be used with containerised GAP

#41 wucas closed 2 years ago
0
Attempt to fix Issue #38

#40 james-d-mitchell closed 2 years ago
6
'Install' GAP by adding a symlink to it into PATH

#39 fingolfin closed 2 years ago
1
Cloning/building packages given as `ORG/REPO`

#38 wilfwilson opened 2 years ago
2
README.md: don't email Sergio about issues

#37 fingolfin closed 2 years ago
0
Support building a particular GAP pull request

#36 wilfwilson opened 2 years ago
0
Cloning/building packages, and capitalisation

#35 wilfwilson opened 2 years ago
0
Enabling work to support a Cygwin branch

#34 wilfwilson closed 2 years ago
0
Simplify handling of GAP_PKGS_TO_BUILD

#33 fingolfin closed 2 years ago
1
Stop cloning pkg-ci-scripts

#32 fingolfin closed 2 years ago
1
Musings on GAPROOT

#31 fingolfin opened 3 years ago
1
Add contents of `pkg-ci-scripts` to this composite action

#30 wilfwilson closed 3 years ago
0
Should `v1`, `v2`, etc, be branches rather than tags?

#29 wilfwilson opened 3 years ago
0
Support using the required versions of needed/suggested packages

#28 wilfwilson opened 3 years ago
0
Support more options for which GAP packages to download

#27 wilfwilson opened 3 years ago
0
Remove io and profiling from default GAP_PKGS_TO_BUILD, instead let gap-actions/process-coverage take care of them

#26 fingolfin opened 3 years ago
0
Stop using `pkg-ci-scripts` in all gap-actions

#25 fingolfin closed 2 years ago
1
Support using GAP releases instead of branch snapshots

#24 fingolfin opened 3 years ago
2
Don't install readline via homebrew anymore

#23 ssiccha closed 3 years ago
1
Convert for use with Cygwin (DO NOT MERGE)

#22 wilfwilson closed 2 years ago
1
Split this action: separate "installing GAP" from "building the package

#21 fingolfin closed 3 years ago
7
Minor clean-up

#20 ssiccha closed 3 years ago
0
Add support for building on macOS

#19 ssiccha closed 3 years ago
3
Add support for building on Windows / Cygwin

#18 fingolfin opened 3 years ago
5
Add support for building on macOS

#17 fingolfin closed 3 years ago
1
Work on a successor for this which uses a Docker image with prebuilt GAP, to reduce overhead

#16 fingolfin opened 3 years ago
3
A README

#15 ssiccha closed 3 years ago
0
Publish this on the GitHub marketplace

#14 fingolfin opened 3 years ago
0
Fix passing GAP_PKGS_TO_BUILD to build_gap.sh, and combine two steps

#13 wilfwilson closed 4 years ago
0
Put GAP_PKGS_TO_BUILD in $GITHUB_ENV

#12 wilfwilson closed 4 years ago
0
Fix syntax again

#11 wilfwilson closed 4 years ago
0
Fix syntax error

#10 ssiccha closed 4 years ago
1
Fix syntax error

#9 wilfwilson closed 4 years ago
0
Add default option to GAP_PKGS_TO_BUILD

#8 ssiccha closed 4 years ago
0
Add a CI action

#7 ssiccha closed 4 years ago
1
Accept more inputs for build_gap.sh and rename scripts folder to pkg-ci-scripts

#6 wilfwilson closed 4 years ago
0
Support more pkg-ci-scripts options

#5 fingolfin closed 3 years ago
1
Add a LICENSE

#4 fingolfin closed 3 years ago
1
Add CI tests for this action itself

#3 fingolfin closed 3 years ago
2
Add a README.md

#2 fingolfin closed 3 years ago
1
Remove goodbye.sh and the build step referencing it

#1 fingolfin closed 4 years ago
0