ci: add release pipeline #16

Merged
t.behrendt merged 5 commits from ci-add-release-pipeline into main 2025-05-20 20:34:21 +02:00
Owner
No description provided.
t.behrendt added 5 commits 2025-05-20 20:29:25 +02:00
ci: add release pipeline
All checks were successful
CI / test (push) Successful in 21s
df0ae5a7d7
refactor: cd to re-use ci
All checks were successful
CI / test (push) Successful in 21s
65fc51e875
fix: correct ci path
All checks were successful
CI / test (push) Successful in 20s
c7880fd4a7
fix: needs
All checks were successful
CI / test (push) Successful in 20s
df14525731
fix: push only tag branch, not to main
All checks were successful
CI / test (push) Successful in 21s
040bab517c
t.behrendt merged commit a459994a24 into main 2025-05-20 20:34:21 +02:00
t.behrendt deleted branch ci-add-release-pipeline 2025-05-20 20:34:22 +02:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: t.behrendt/tracebasedlogsampler#16