tree 938c3c147a6d5cb735bcf2eef68a9dac0f7dd12a
parent 24ce27e8691215763f3aa24d2f8f0dd12e694a94
author Paul Jolly <paul@myitcv.org.uk> 1619931238 +0100
committer Paul Jolly <paul@myitcv.org.uk> 1619932568 +0000

ci: fix tip and new version curl and env problems

* we were not consistently using curl to trigger repository dispatch
  events; fix that by using a definition
* we were trying to read from an environment variable that was not set.
  Instead use a GitHub actions template expression to read directly from
  secrets.

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