From 09221a3ebc1dadbe75ffadf8263bdfca7a7fe293 Mon Sep 17 00:00:00 2001 From: Paul Jolly Date: Tue, 4 Apr 2023 08:04:33 +0100 Subject: [PATCH] internal/ci: allow trybot workflows to be workflow_dispatch-ed MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Paul Jolly Change-Id: Idf83ce0b3700853dbbdf6d189aa7327a6e2be7b5 Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/552154 Unity-Result: CUEcueckoo TryBot-Result: CUEcueckoo Reviewed-by: Daniel Martí --- .github/workflows/trybot.yml | 1 + internal/ci/base/gerrithub.cue | 4 +++- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/trybot.yml b/.github/workflows/trybot.yml index 1887be1aa06..b8858696eda 100644 --- a/.github/workflows/trybot.yml +++ b/.github/workflows/trybot.yml @@ -10,6 +10,7 @@ name: TryBot tags-ignore: - v* pull_request: {} + workflow_dispatch: {} jobs: test: strategy: diff --git a/internal/ci/base/gerrithub.cue b/internal/ci/base/gerrithub.cue index d4103143f1f..0fea30b441e 100644 --- a/internal/ci/base/gerrithub.cue +++ b/internal/ci/base/gerrithub.cue @@ -11,7 +11,9 @@ import ( // trybotWorkflows is a template for trybot-based repos trybotWorkflows: { - (trybot.key): json.#Workflow + (trybot.key): json.#Workflow & { + on: workflow_dispatch: {} + } "\(trybot.key)_dispatch": trybotDispatchWorkflow "push_tip_to_\(trybot.key)": pushTipToTrybotWorkflow "evict_caches": evictCaches