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
Pavel Punsky
d06aef24b7
Move to matrix structure
2022-08-26 10:49:31 -07:00
Pavel Punsky
9d412d86b6
Lock runner version on ubuntu 20.04 so we get openssl-1.1.1
2022-08-25 20:00:11 -07:00
Pavel Punsky
9d3a649ede
no message
2022-08-25 19:57:05 -07:00
Pavel Punsky
5a86dd373c
no message
2022-08-25 19:48:51 -07:00
Pavel Punsky
bd266b383d
Add new actions: build and test with 3 different versions of openssl
2022-08-25 16:56:51 -07:00
Pavel Punsky
6996c51d49
Create github action to build PR using cmake
2022-08-16 22:49:01 -07:00
Gustavo Garcia
ff1952033f
Add running turn tests
2022-08-05 13:27:09 +02:00
Gustavo Garcia
afbe6868ff
test
2022-07-31 23:40:39 +02:00
Gustavo Garcia
62c41b7737
Add github workflow to test the build is correct
2022-07-31 22:16:26 +02: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