Christian Schwarz bc92660e09 circleci: ensure docs/publish.sh works as part of pre-merge ci workflow (#736)

2023-09-09 12:41:06 +02:00

..

config.yml

circleci: ensure docs/publish.sh works as part of pre-merge ci workflow (#736)

2023-09-09 12:41:06 +02: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