Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
internal/ci: rename gerrithub #dispatchWorkflow
The name #trybotDispatchWorkflow is more descriptive. It is, for now, specific to trybot dispatch, so call it that. This change should not result in any .github/workflows changes. Signed-off-by: Paul Jolly <paul@myitcv.io> Change-Id: I068af2abf5d141cc72f17b35ac7f4f8a8f44c6c0 Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/551627 Unity-Result: CUEcueckoo <cueckoo@cuelang.org> TryBot-Result: CUEcueckoo <cueckoo@cuelang.org> Reviewed-by: Daniel Martí <mvdan@mvdan.cc>
- Loading branch information