PR-CI

man pages: prevent active check man pages from crashing #13691

Sign in to view logs

Triggered via push October 25, 2023 13:43

CheckmkCI

master

Status Success

Total duration 20m 49s

Artifacts –

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

pr.yaml

on: push

Matrix: testing