ci: rename repository dispatch workflow
This got missed as part of CL 8481.
Change-Id: Ic4037743645034c8879bbfda44bb3ac96da65c18
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/8541
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>
diff --git a/.github/workflows/test_dispatch.yml b/.github/workflows/repository_dispatch.yml
similarity index 97%
rename from .github/workflows/test_dispatch.yml
rename to .github/workflows/repository_dispatch.yml
index c723d1a..0571716 100644
--- a/.github/workflows/test_dispatch.yml
+++ b/.github/workflows/repository_dispatch.yml
@@ -1,6 +1,6 @@
# Generated by internal/ci/ci_tool.cue; do not edit
-name: Test Dispatch
+name: Repository Dispatch
on:
- repository_dispatch
jobs:
diff --git a/internal/ci/workflows.cue b/internal/ci/workflows.cue
index 7727458..99dc6ac 100644
--- a/internal/ci/workflows.cue
+++ b/internal/ci/workflows.cue
@@ -31,8 +31,8 @@
schema: test
},
{
- file: "test_dispatch.yml"
- schema: test_dispatch
+ file: "repository_dispatch.yml"
+ schema: repository_dispatch
},
{
file: "release.yml"
@@ -175,9 +175,9 @@
}
}
-test_dispatch: _#bashWorkflow & {
+repository_dispatch: _#bashWorkflow & {
- name: "Test Dispatch"
+ name: "Repository Dispatch"
on: ["repository_dispatch"]
jobs: {
start: {
