gap-actions / setup-gap

Other
1 stars 5 forks source link

Support building a particular GAP pull request #36

Open wilfwilson opened 2 years ago

wilfwilson commented 2 years ago

Currently we can just build a branch.

We've got various nice suggestions: using a Docker image #16, or released versions #24. How about building the version corresponding to a particular pull request?

I know that a pull request is actually just a branch, so technically it shouldn't be very difficult. But it would be nice to have a nice interface to this too.