CircleCI: Implement new release pipeline (#22625)

* CircleCI: Adapt build-pipeline to implement also release pipeline
This commit is contained in:
Arve Knudsen 2020-03-11 15:45:52 +01:00 committed by GitHub
parent 6b61c65b58
commit 9bcccd7574
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

File diff suppressed because it is too large Load Diff