Stop cloning pkg-ci-scripts

gap-actions / setup-gap

Other

1 stars 5 forks source link

Stop cloning pkg-ci-scripts #32

Closed fingolfin closed 2 years ago

fingolfin commented 3 years ago

Resolves #25 -- but should only be merged once all the PRs referenced therein are merged, i.e. once none of our actions uses it anymore. (Perhaps wait even longer until all the actions other than setup-gap even have a tagged commit with the change)

fingolfin commented 2 years ago

@wilfwilson I believe this is now ready for merging...