dev #8

Merged
WorldTeacher merged 3 commits from dev into main 2025-05-14 14:05:35 +01:00
Showing only changes of commit 3bfc7a2672 - Show all commits

View File

@@ -41,7 +41,7 @@ jobs:
- name: Bump version - name: Bump version
id: bump_version id: bump_version
run: | run: |
uv tool run bump-my-version --bump ${{ github.event.inputs.bump }} --tag --allow-dirty uv tool run bump-my-version bump ${{ github.event.inputs.bump }} --tag --allow-dirty
- name: Add release notes - name: Add release notes
id: add_release_notes id: add_release_notes
run: | run: |