manual trigger for ci

This commit is contained in:
2025-08-28 18:06:36 +02:00
parent 01f6a07672
commit 040178e395
+1
View File
@@ -5,6 +5,7 @@ on:
branches: [main]
pull_request:
branches: [main]
workflow_dispatch:
jobs:
lint: