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
..
ISSUE_TEMPLATE	Whitespace: Automated whitespace fixes (large commit)	2020-11-11 07:36:35 +00:00
workflows	ci: build and push Docker images in Github actions, add arm64 platform	2022-06-01 16:22:15 +02:00