haddock-project fixes (backport #8919) #1842

Sign in to view logs

Summary
Jobs
- Whitespace
Run details
- Usage
- Workflow file

Triggered via pull request August 8, 2023 11:55

Kleidukos

synchronize #9088

mergify/bp/3.10/pr-8919

Status Success

Total duration 22s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

whitespace.yml

on: pull_request