GH: Cleanup doc build workflow and add doc publish action

Message ID zephyrproject-rtos/zephyr@22739
State New
Headers show

Message

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