Skip to content

clarify comment, fix mergerdir name #1685

clarify comment, fix mergerdir name

clarify comment, fix mergerdir name #1685

Annotations

1 warning

dist

succeeded Jan 27, 2025 in 17s
Set up job
1s
Allow unprivileged user namespaces (for Ubuntu 24.04)
0s
Install dependencies
11s
Checkout
0s
Check autoscan
0s
Configure and build manpage
1s
Upload dist tarball
0s
Post Checkout
0s
Complete job
0s