Skip to content

Merge branch 'main' into update_ci #5

Merge branch 'main' into update_ci

Merge branch 'main' into update_ci #5

Triggered via push October 30, 2024 02:22
Status Success
Total duration 3m 45s
Artifacts

build_docs.yml

on: push
check-build-doc
3m 37s
check-build-doc
Fit to window
Zoom out
Zoom in