add manual triggering

This commit is contained in:
2024-09-07 17:12:24 -04:00
parent 5d2e596f7e
commit 6e1371f31b

View File

@@ -7,6 +7,7 @@ on:
pull_request:
branches:
- devel
workflow_dispatch:
jobs:
build: