2 Commits

Author	SHA1	Message	Date
Sergei Silnov	9600ba2e7e	tools: Don't build docker image for linux-arm64	2022-07-12 13:16:29 +02:00
Ivan Grokhotkov	d3f0969e4f	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:22:15 +02:00