Repository navigation
Fixes #85. Add support for multiple server ids. - #86
drewctaylor wants to merge 1 commit into
Conversation
|
I would be interested in seeing this merged, or better yet a full fix for #85 Out of interest, is there any reason you chose to switch to |
|
@GavinF17 - I switched from |
|
This branch is heavily out of date and not mergeable. The underlying request appears to still be relevant and is tracked in #85. Recommendation: decide whether to supersede with a new PR against current |
|
We will look into addressing #85 with a complete feature. This PR is now closed as it is very outdated. |
This PR does not fully address #85; it does not allow the user to specify a list of servers as follows:
As GitHub Actions do not appear to support YAML parameters.
However, it does allow the user to specify a list of server ids as follows:
Which produces a settings xml as follows:
In general, the action concatenates the value of
server-idto the value ofserver-id-list, removes any duplicates, and produces oneserverentry per value.For example,
server-idnorserver-id-list, the action concatenates the default value ofserver-id(github) to the default value ofserver-id-list([github]), producing ([github, github]); the action then removes the duplicategithuband produces oneserverentry for the remaininggithub.server-idbut notserver-id-list, the action concatenates the value ofserver-id(say,server) and the default value ofserver-id-list([github]), producing ([github, server]); the action then produces two server entries, one forgithuband one forserver.server-id-listbut notserver-id, the action concatenates the default value ofserver-id(github) to the value ofserver-id-list(say,[server1, server2]), producing ([github, server1, server2]); the action then produces three server entries, one forgithub, one forserver1, and one forserver2.A successful run of this PR is here:
https://github.com/drewctaylor/constrain/actions/runs/191542087/workflow