Skip to content
Build stable documentation

Use curl instead of wget in download script #1798

Sign in to view logs

Use curl instead of wget in download script

Use curl instead of wget in download script #1798

Triggered via pull request January 5, 2025 13:15
@szarnyasgszarnyasg
opened #4475
szarnyasg:iss4456
Status Success
Total duration 1m 7s
Artifacts –

build-stable-documentation.yml

on: pull_request
build_html
58s
build_html
build_pdf
27s
build_pdf
Fit to window
Zoom out
Zoom in