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
..
docker.yml	ci: build and push Docker images in Github actions, add arm64 platform	2022-06-01 16:23:50 +02:00
issue_comment.yml	gh_action: add cron job to sync remaining PRs	2019-10-29 13:10:00 +08:00
new_issues.yml	gh_action: add cron job to sync remaining PRs	2019-10-29 13:10:00 +08:00
new_prs.yml	gh_action: add cron job to sync remaining PRs	2019-10-29 13:10:00 +08:00
python_lint.yml	github: remove lint jobs for unsupported python versions	2021-09-01 19:39:17 +02:00
release_zips.yml	ci: Use GitHub Actions to generate recursive source code zips for releases	2021-04-16 09:58:49 +10:00