Build citydb-tool

Merge branch 'main' into docker #14

Sign in to view logs

Triggered via push November 24, 2023 10:11

BWibo

main

Status Success

Total duration 2m 20s

Artifacts –

build-citydb-tool.yml

on: push

Matrix: build