github: Fix daily/release doc publish workflow

Message ID zephyrproject-rtos/zephyr@22815
State Accepted
Headers show

Message

Kumar Gala Feb. 13, 2020, 11:47 p.m.
# https://github.com/zephyrproject-rtos/zephyr/pull/22815
This represents a change submitted via Github. It is mirrored
here so that it is included in our statistics.