Ivan Grokhotkov fa4256c885 ci: build and push Docker images in Github actions, add arm64 platform ... Replaces the previously used Docker Hub autobuild infrastructure. This allows for more flexible configuration of the build process, at the expense of some extra maintenance of CI workflow files required.		2022-06-01 16:23:50 +02:00
..
Dockerfile	tools/docker: add IDF_CLONE_SHALLOW and IDF_INSTALL_TARGETS arguments	2022-06-01 16:23:50 +02:00
entrypoint.sh	global: use '/usr/bin/env bash' instead of '/usr/bin/bash' in shebangs	2020-04-03 01:10:02 +02:00