From f2f06d0522eafd530d8eef7f605380cd9c8dfc71 Mon Sep 17 00:00:00 2001
From: Kadir Cetinkaya <kadircet@google.com>
Date: Wed, 19 May 2021 16:07:12 +0200
Subject: [PATCH] Enable manual dispatch of build workflow

This also enables selecting a different branch than main for the
workflow.
---
 .github/workflows/periodic.yaml | 1 +
 1 file changed, 1 insertion(+)

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