Skip to content

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

build.sh: do regen after installing tools once

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

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