PD check: do not treat library names as package names (#9132) · andreabedini/cabal@4aa5f88

Triggered via push August 16, 2023 09:36

Status Success

Total duration 1m 7s

Artifacts 1

users-guide.yml

on: push

Matrix: Users guide

Produced during runtime

Name	Size
users-guide-html Expired	9.96 MB