Marc Herbert dccf9c0798 .github/zephyr: download docker image from ghcr.io instead of docker.io ... These are Github Actions, so let's use the Github server to increase performance and reduce external dependencies. According to https://github.com/zephyrproject-rtos/docker-image there is no primary or secondary server for that image, they're both equivalent. Signed-off-by: Marc Herbert <marc.herbert@intel.com>		2022-04-27 10:46:48 +01:00
..
ISSUE_TEMPLATE	github: fix link to bug tracking docs	2020-01-09 11:24:06 +00:00
workflows	.github/zephyr: download docker image from ghcr.io instead of docker.io	2022-04-27 10:46:48 +01:00