Christian Schwarz bc96f8f212 build/circleci: update to Ubuntu 20.04 image for release-* jobs ...

Background: `machine: true` is deprecated:

    https://circleci.com/docs/2.0/images/linux-vm/14.04-to-20.04-migration/

2022-02-15 22:55:25 +01:00

..

config.yml

build/circleci: update to Ubuntu 20.04 image for release-* jobs

2022-02-15 22:55:25 +01:00

trigger_debian_binary_packaging_workflow.bash

build: extract debian binary packaging workflow trigger into a reusable script

2020-07-26 20:32:35 +02:00