Allow building man pages without docbook #1132

Sign in to view logs

Summary
Jobs
- docs
Run details
- Usage
- Workflow file

Triggered via push August 23, 2023 19:27

github-merge-queue[bot]

gh-readonly-queue/main/pr-1073-67f835c89359a0dd60928c2ac377cf778fb994f2

Status Success

Total duration 1m 55s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docs.yml

on: push