tree 2841980b718479ad305cfd1c1b4019a6fdac25fb
parent 0212bb944fcab02c43c910395eff1d00207ac0f0
author Paul Jolly <paul@myitcv.io> 1587845587 +0100
committer Marcel van Lohuizen <mpvl@google.com> 1589290840 +0000

ci: define repository_dispatch build

Use GitHub actions as our CI for changes in Gerrit.

Add codereview.cfg to explicitly give the Gerrit and GitHub repo
locations.

Define a separate repository_dispatch workflow which is identical to the
regular test.yml except for the addition of calls to the
github.com/cue-sh/trybot action to update the CL that triggered the
build.

We then need to add a secret in github.com/cuelang/cue repo with the
cueckoo gitcookie details.

github.com/cue-sh/tools/cmd/runtrybot can then be used to trigger
builds.

Change-Id: Ie2b937ea6221c9c2e0fe3f8e219c15fcce74d89e
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/5823
Reviewed-by: Marcel van Lohuizen <mpvl@google.com>