tree 9a038268502fd5de6a3e25347a5c05a380d81db9
parent 03aab97182e8457cefea9e1b43037c639d317230
author Paul Jolly <paul@myitcv.io> 1610639409 +0000
committer Paul Jolly <paul@myitcv.org.uk> 1610640247 +0000

ci: use the latest GitHub workflow definition

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