DEVX-38: fix: clean dist/ before build and add workflow_dispatch to publish
Post-merge / detect-type (push) Successful in 8s
Post-merge / configure-repo (push) Successful in 11s
Post-merge / validate-commit-msg (push) Successful in 15s
Post-merge / release (push) Successful in 46s
Post-merge / vikunja (push) Successful in 14s
Post-merge / badges (push) Successful in 42s
Post-merge / sync-wiki (push) Successful in 48s

This commit was merged in pull request #62.
This commit is contained in:
2026-06-24 19:02:02 +00:00
parent 7fa1c4450c
commit cb037aa69c
3 changed files with 29 additions and 3 deletions
+7 -1
View File
@@ -4,6 +4,12 @@ on:
push:
tags:
- 'v*'
workflow_dispatch:
inputs:
tag:
description: 'Tag to publish (e.g. v0.9.11)'
required: true
type: string
jobs:
publish:
@@ -34,7 +40,7 @@ jobs:
PYTHONPATH: src
run: |
export PATH="$HOME/.local/bin:$PATH"
python3 -m devx.ci.publish "${{ github.ref_name }}" "${{ github.repository }}"
python3 -m devx.ci.publish "${{ github.event.inputs.tag || github.ref_name }}" "${{ github.repository }}"
- name: Notify on failure
if: failure()
env: