tree faf1aae61f1a31cd7d70cb9a153282ad2d4314b6
parent 6f84d1131f2e4e5a5179cfdde720c6d5bddec064
author Paul Jolly <paul@myitcv.io> 1597833706 +0100
committer Paul Jolly <paul@myitcv.org.uk> 1597834551 +0000

ci: name dispatch workflow differently to default branch push workflow

This allows the status of the two workflows to be distinguished, which
is important for the status badges offered by GitHub (at the moment we
show the status of the "Test" workflow, which means that a broken
dispatch build can show a red status despite the latest master build
succeeding).

Whilst we are at it, re-enable the go:generate of the workflows
themselves.

Change-Id: I2e93ab6839395fc92fec5f1f869c96854b63b22f
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/6887
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>