11 Commits

Author	SHA1	Message	Date
Kai Ren	a999df65ac	Rework Docker CI pipeline to be granular (#1092) ... - build and test each platform separately on CI - rework `Makefile` commands - renew Docker tags description in README Additionally: - show output of failed tests - ensure Docker images are not pulled in tests - remove usage of deprecated `::set-output` GitHub Actions feature	2022-11-16 18:30:42 +02:00
tyranron	8b66fa4ff2	Improve GitHub release notes of Docker image	2022-09-13 15:52:09 +03:00
tyranron	01d725e65b	Improve Docker CI pipeline ... - omit publishing and releasing Docker images in forks - verify Git tag to match Makefile before releasing - auto-cancel concurrent CI pipelines for the same Git ref	2022-09-13 13:19:07 +03:00
tyranron	7494e166d4	Upgrade GitHub Actions and enable dependabot for them	2022-05-06 11:53:54 +03:00
Dave Lambley	89b2b5c855	Record in metadata which Git revision Docker image was built from (#865) ... - parametrize Git repo URL on CI for correct builds in forks - move Docker image labeling to `Makefile` Co-authored-by: Kai Ren <tyranron@gmail.com>	2021-12-15 12:53:09 +02:00
tyranron	b31b004922	Separate Docker image's GitHub release into its own job to run it only once ... - fix naming of Docker image's GitHub releases	2021-04-16 10:05:51 +03:00
Mészáros Mihály	51e0267b34	Try to use GITHUB_TOKEN instead of GCR_BOT_PAT	2021-04-15 08:08:17 +02:00
tyranron	bb43a47792	Improve CI workflow with edge tags publishing and GitHub releasing	2021-04-13 12:09:24 +03:00
tyranron	3bad03d825	Fix	2021-04-07 18:16:04 +03:00
tyranron	0aa5c806c7	Fixes	2021-04-07 17:56:38 +03:00
tyranron	497be2cdd6	Bootstrap toolchain and CI pipeline	2021-04-07 14:26:50 +03:00