tree f2ad9c1df0ed074c99bdd9a7a6cb0166b0bacde2
parent 8c416223fd7444682ca63a91b52d3be5be1fb9df
author Paul Jolly <paul@myitcv.io> 1610746686 +0000
committer Paul Jolly <paul@myitcv.org.uk> 1610748853 +0000

ci: delete CL build branches once workflow is complete

In ccbfbd2e we introduced the concept of build branches that are used
for CL CI workflows. However we stopped short of deleting those build
branches to ensure that the workflow behaved as intended on master.

There have been two subsequent master builds, a pass and a fail, that
verify this remove step is not running for a master build:

https://github.com/cuelang/cue/actions/runs/488463317 (fail)
https://github.com/cuelang/cue/actions/runs/488888616 (pass)

Hence it is now safe to remove build branches at the end of a CL
workflow.

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