haddock-project fixes (backport #8919) #1839

Sign in to view logs

Summary
Jobs
- Whitespace
Run details
- Usage
- Workflow file

Triggered via pull request August 8, 2023 09:01

Kleidukos

synchronize #9088

mergify/bp/3.10/pr-8919

Status Success

Total duration 23s

Artifacts –

whitespace.yml

on: pull_request