haddock-project fixes (backport #8919) #1836

Sign in to view logs

Summary
Jobs
- Whitespace
Run details
- Usage
- Workflow file

Triggered via pull request August 5, 2023 15:03

Kleidukos

synchronize #9088

mergify/bp/3.10/pr-8919

Status Success

Total duration 9m 14s

Artifacts –

whitespace.yml

on: pull_request