github ci: allow manual dispatch

This commit is contained in:
Moritz Zwerger 2025-08-30 18:40:37 +02:00
parent c0dc5ed850
commit eab5cd63fc
No known key found for this signature in database
GPG Key ID: 5CAD791931B09AC4

View File

@ -1,6 +1,7 @@
name: Gradle CI
on:
workflow_dispatch:
push:
branches: [ master ]
paths-ignore: [ "**.md", "schemas/**", ".editorconfig", ".gitignore", ".gitattributes" ]