haddock-project fixes (backport #8919) #1837

Sign in to view logs

Summary
Jobs
- Whitespace
Run details
- Usage
- Workflow file

Triggered via pull request August 6, 2023 18:11

Kleidukos

synchronize #9088

mergify/bp/3.10/pr-8919

Status Success

Total duration 17s

Artifacts –

whitespace.yml

on: pull_request