Skip to content

Merge branch 'autodocbuild' into develop #743

Merge branch 'autodocbuild' into develop

Merge branch 'autodocbuild' into develop #743

Triggered via push October 12, 2023 21:07
Status Success
Total duration 4m 56s
Artifacts

build.yml

on: push
build_docs
14s
build_docs
Matrix: build
Fit to window
Zoom out
Zoom in