Skip to content

Avoid mixing wget and curl #891

Avoid mixing wget and curl

Avoid mixing wget and curl #891

Triggered via pull request November 13, 2025 14:58
@oech3oech3
synchronize #9258
oech3:wgetcurl
Status Success
Total duration 42s
Artifacts

CheckScripts.yml

on: pull_request
ShellScript/Check
5s
ShellScript/Check
ShellScript/Format
36s
ShellScript/Format
Fit to window
Zoom out
Zoom in