tyranron
f41aee2224
Fix tagging released Docker image on CI
2022-11-16 18:41:57 +01:00
tyranron
007504af65
Fix quay.io authentication in Docker CI
2022-11-16 17:53:45 +01:00
tyranron
473e40a7b8
Omit changing README in container registries on edge Docker image pushes
2022-11-16 17:41:07 +01:00
tyranron
9d844cd1e1
Support linux/386 platform for Docker image
2022-11-16 17:37:57 +01:00
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
