Dongsu Park e48aa048a2 .github: check out with a specific channel name ...

When checking out into a branch name, append `-${CHANNEL}` to the name,
so the branch can be distinguished from each other. To do that, make
every Github actions yaml file pass in its corresponding `CHANNEL`
variable.

2020-07-23 18:32:27 +02:00

..

src/third_party/coreos-overlay

.github: check out with a specific channel name

2020-07-23 18:32:27 +02:00