Skip to content

github/actions: Change to manual merge for the man page converter #800

github/actions: Change to manual merge for the man page converter

github/actions: Change to manual merge for the man page converter #800

Triggered via push January 31, 2025 17:10
Status Success
Total duration 9m 18s
Artifacts

pr-ci.yml

on: push
Matrix: linux
Fit to window
Zoom out
Zoom in