merge main into dev #13

Merged
WorldTeacher merged 41 commits from main into dev 2025-09-03 09:44:13 +01:00
Showing only changes of commit 8036a7cb3c - Show all commits

View File

@@ -51,8 +51,7 @@ jobs:
- name: Create Gitea Release
if: ${{ github.event.inputs.github_release == 'true' }}
uses: softprops/action-gh-release@v1
with:
tag_name: {{ github.sha}}
- name: Add release notes
id: add_release_notes
run: |