gap-actions / setup-gap

Other
1 stars 5 forks source link

Accept more inputs for build_gap.sh and rename scripts folder to pkg-ci-scripts #6

Closed wilfwilson closed 3 years ago