Skip to content

Merge branch 'fix/github_ci' into 'main' #111

Merge branch 'fix/github_ci' into 'main'

Merge branch 'fix/github_ci' into 'main' #111

Triggered via push September 16, 2024 14:43
Status Success
Total duration 4m 54s
Artifacts

build_docs.yml

on: push
Fit to window
Zoom out
Zoom in