haddock-project fixes (backport #8919) #1845

Sign in to view logs

Summary
Jobs
- Whitespace
Run details
- Usage
- Workflow file

Triggered via pull request August 20, 2023 13:05

Kleidukos

synchronize #9088

mergify/bp/3.10/pr-8919

Status Success

Total duration 7m 37s

Artifacts –

whitespace.yml

on: pull_request