Deduplicate documentation of cabal commands #955

Sign in to view logs

Triggered via pull request August 29, 2023 04:27

BinderDavid

opened #9217

BinderDavid:remove-duplicate-documentation

Status Success

Total duration 47s

Artifacts –

users-guide.yml

on: pull_request

Matrix: Users guide

Annotations

1 warning

Users guide (3.10)

No files were found with the provided path: html/. No artifacts will be uploaded.