Enable manual dispatch of build workflow

This also enables selecting a different branch than main for the
workflow.
This commit is contained in:
Kadir Cetinkaya 2021-05-19 16:07:12 +02:00
parent d78d99d3f3
commit f2f06d0522
No known key found for this signature in database
GPG Key ID: E39E36B8D2057ED6

View File

@ -12,6 +12,7 @@ on:
# "-HAuthorization: Bearer <token>" \ # "-HAuthorization: Bearer <token>" \
# https://api.github.com/repos/clangd/clangd/dispatches # https://api.github.com/repos/clangd/clangd/dispatches
repository_dispatch: { types: periodic } repository_dispatch: { types: periodic }
workflow_dispatch:
jobs: jobs:
# Choose the commit to build a release from. # Choose the commit to build a release from.
# #