Repository navigation

Use official github tool for creating release - #912

Merged

spoorcc merged 10 commits into

mainfrom

fix-release-mechanism

Jan 4, 2026

Merged

Use official github tool for creating release#912
spoorcc merged 10 commits into
mainfrom
fix-release-mechanism

Commits on Jan 4, 2026
- Use official github tool
  spoorcc
  committed
  288ae1f
- Use official gh release tool for uploading artifacts as well
  spoorcc
  committed
  d959df2
- Make sure we have tag info when creating release
  spoorcc
  committed
  604e412
- --clobber should be last arg
  spoorcc
  committed
  8a9902c
- Make sure gh release operates on correct repo
  spoorcc
  committed
  8425b70
- Verify the tag
  spoorcc
  committed
  6bf5dd3
- Refresh just before creating release
  spoorcc
  committed
  c21fe06
- Overwrite the local tag
  spoorcc
  committed
  aedd139
- Setup python before checkout to not interfere with repo
  spoorcc
  committed
  0440ffe
- No need to fetch tag etc, see comment
  spoorcc
  committed
  397fa28