build push dev docs

Merge pull request #495 from it-at-m/update-docu #40

Sign in to view logs

Triggered via push November 6, 2024 12:18

vjohnslhm

dev

Status Success

Total duration 1m 29s

Artifacts –

doc_push-dev.yaml

on: push

build-and-publish