08f500ed06
Remove pkill gpg-agent ( #31169 )
2021-03-03 17:28:47 +02:00
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
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
4b16cd6cc8
Build: Introduce shellcheck ( #18081 )
...
* Build: introduce shellcheck
Fixes #16198
2019-07-23 13:12:33 +03:00
18004562a6
build: fixes permissions issue.
2019-01-17 13:40:40 +01:00
38bcb88d8a
build: uploads binaries before metadata in deb repo.
2019-01-16 16:05:45 +01:00
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
ad61bff377
build: deploys enterprise to its own repo.
2019-01-09 11:42:55 +01:00
b9c4eb70b1
build: publishes beta releases to separate repos.
2019-01-09 11:42:55 +01:00
8f5886e6d4
refactoring
2019-01-09 11:42:55 +01:00
bbbeb78c17
build: makes repo update enterprise compatible.
2019-01-09 11:42:55 +01:00
31066aebb4
build: handles unexpected cases.
2019-01-09 11:42:55 +01:00
919617ef96
build: only adds the correct packages to the repo.
2019-01-09 11:42:55 +01:00
c3e23d7574
build: rpm repo deploy.
2019-01-09 11:42:55 +01:00
a26a10cfd1
build: repo update input error.
2019-01-09 11:42:55 +01:00
7fea1f84c0
build: release of debs to our debian repo.
2019-01-09 11:42:55 +01:00
