4 Commits

Author	SHA1	Message	Date
Gustavo Henrique Nihei	13bf6f0fc2	github: Update links to Docker Linux image ... GitHub's Docker registry has been replaced by the Container registry. Signed-off-by: Gustavo Henrique Nihei <gustavo.nihei@espressif.com>	2021-09-02 08:46:30 +08:00
Matias N	f44675879c	CI: ensure docker is rebuilt on corresponding workflow changes	2021-04-22 17:35:50 -07:00
Matias N	238fa3bae2	CI: fix docker image name	2021-04-22 15:21:54 -07:00
Brennan Ashton	15b99d1f4b	CI: Migrate ci tooling from testing repository to main os repo	2021-04-05 01:22:48 -05:00