dev #1

Merged
manuel merged 11 commits from dev into master 2025-09-01 02:10:44 +02:00
Showing only changes of commit c7c8fa36cd - Show all commits

View File

@@ -2,6 +2,7 @@ name: Deploy Documentation Local
run-name: Deploying ${{ gitea.repository }} docs locally
on:
workflow_dispatch:
push:
branches:
- dev