tree af25872c97f288958df33eef72332b5d378581e1
parent 5b3d5514393e32c07843d14d52375a35d48b8824
author Paul Jolly <paul@myitcv.io> 1612189987 +0000
committer Paul Jolly <paul@myitcv.org.uk> 1612372801 +0000

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>