Open GuillaumeDua opened 1 month ago
And removes duplicates, for instance latest and latest-stable might be the same.
latest
latest-stable
Example:
./.devcontainer/scripts/llvm.sh --versions="latest latest-stable" --list --silent=0
(as writing)
--versions="19 18"
As well as:
./.devcontainer/scripts/llvm.sh --versions=">=17 latest latest-stable" --list --silent=0
--versions="17 18 19"
Then update the github-actions accordingly ?
Allow placeholders/replacement in versions argument
And removes duplicates, for instance
latest
andlatest-stable
might be the same.Example:
(as writing)
As well as:
Then update the github-actions accordingly ?