tree 1b4047c0fe016a126b454746c3fad4265f27f06d
parent 6c6b4e7c2404ad251b5941cb027ceffe50346793
author Paul Jolly <paul@myitcv.org.uk> 1619865340 +0100
committer Paul Jolly <paul@myitcv.org.uk> 1619873069 +0000

ci: fix broken tip and new version triggers

For some reason, the local testing of these gave a false positive pass.
Hopefully this time we've got the shell script right.

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