Skip to content

build.sh: do regen after installing tools once #1972

build.sh: do regen after installing tools once

build.sh: do regen after installing tools once #1972

Triggered via push October 6, 2024 18:15
Status Success
Total duration 18s
Artifacts
Build-Documentation
9s
Build-Documentation
Fit to window
Zoom out
Zoom in