Skip to content

#1425: Use wildcards for apt packages #2756

#1425: Use wildcards for apt packages

#1425: Use wildcards for apt packages #2756

Triggered via pull request March 24, 2026 10:46
Status Success
Total duration 11s
Artifacts
check_current_gitmodules
6s
check_current_gitmodules
Fit to window
Zoom out
Zoom in