tree 209f5a2de68f44a2be17d22368e0dfc19072d49f
parent ccbfbd2e4dcd7bbf264748e151fd6d5d2ba9e013
author Paul Jolly <paul@myitcv.io> 1610743502 +0000
committer Paul Jolly <paul@myitcv.org.uk> 1610744695 +0000

ci: fix dispatch workflow

Better tested offline this time. Unfortunately, for the reasons
described in ccbfbd2e, it's only possible to test this properly once it
is merged to master.

Change-Id: Iea289f46e4d4f6d6001edee36145984f0ea10f5f
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/8225
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>