build push dev docs

Merge pull request #467 from it-at-m/enable-search-in-doc #30

Sign in to view logs

Triggered via push October 11, 2024 07:51

MrSebastian

dev

Status Success

Total duration 48s

Artifacts –

doc_push-dev.yaml

on: push

build-and-publish