Dimitris Sotirakis
08f500ed06
Remove pkill gpg-agent ( #31169 )
2021-03-03 17:28:47 +02:00
Marcus Efraimsson
4386604751
Build: Split up task in the CI pipeline to ease running outside circleci ( #18861 )
...
* build: make sign rpm packages not depend on checking out private key
* build: move commands from circleci config into verify signed packages script
* build: split update and publish of deb and rpm into two scripts
* use files argument for sign and verify packages
* validate files argument for sign and verify packages
* update test publish of deb/rpm readme
2019-09-23 12:00:18 +02:00
Oleg Gaidarenko
89a4f30eab
Build: allow bash to expand the wildcard ( #18354 )
...
If wildcards are in the quotes they not going to be expanded
2019-08-02 13:22:50 +02:00
Oleg Gaidarenko
4b16cd6cc8
Build: Introduce shellcheck ( #18081 )
...
* Build: introduce shellcheck
Fixes #16198
2019-07-23 13:12:33 +03:00
Leonard Gram
18004562a6
build: fixes permissions issue.
2019-01-17 13:40:40 +01:00
Leonard Gram
7ac859715d
build: test script for rpm repo.
2019-01-17 10:17:59 +01:00
Leonard Gram
b3512f43a3
build: repo update testable and more robus.
...
- adds script for integration testing
- package path parameterized
- more robust updates
2019-01-16 11:11:00 +01:00
Leonard Gram
76e9607b25
build: inline docs
2019-01-09 11:42:55 +01:00
Leonard Gram
b9c4eb70b1
build: publishes beta releases to separate repos.
2019-01-09 11:42:55 +01:00
Leonard Gram
31066aebb4
build: handles unexpected cases.
2019-01-09 11:42:55 +01:00
Leonard Gram
919617ef96
build: only adds the correct packages to the repo.
2019-01-09 11:42:55 +01:00
Leonard Gram
c3e23d7574
build: rpm repo deploy.
2019-01-09 11:42:55 +01:00
Leonard Gram
7fea1f84c0
build: release of debs to our debian repo.
2019-01-09 11:42:55 +01:00
