.github: dispatch workflows manually from now on

Signed-off-by: Joachim Wiberg <troglobit@gmail.com>
This commit is contained in:
Joachim Wiberg
2023-03-27 15:53:35 +02:00
parent f5a863df04
commit d7b032cee7
+8 -6
View File
@@ -1,13 +1,15 @@
name: Bob the Builder
# Consider switching to 'on: workflow_dispatch' when activity increases.
#on:
# push:
# branches:
# - '*'
# pull_request:
# branches:
# - '*'
on:
push:
branches:
- '*'
pull_request:
branches:
- '*'
workflow_dispatch:
jobs:
build: