Commit d665fe5
authored
chore: add platform name to artifact output for publishing (#326)
This provides a more discreet labeling for artifacts produced by
the CI workflow. This is needed to avoid duplication in artifacts
published to GitHub Releases, and has a nice side effect of making
traditional downloads non-duplicative as well.1 parent 9072d8b commit d665fe5
File tree
2 files changed
+74
-74
lines changed- .github/workflows
- tools/github_workflows
2 files changed
+74
-74
lines changed
0 commit comments