Ivan Grokhotkov cf44cbfdc9

ci: build and push Docker images in Github actions ...

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-05-27 14:15:47 +02:00

..

docker.yml

ci: build and push Docker images in Github actions

2022-05-27 14:15:47 +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

gh_action: fix python lint

2020-05-20 10:50:10 +08:00

release_zips.yml

ci: Use GitHub Actions to generate recursive source code zips for releases

2021-05-03 04:19:49 +00:00