Commit 88a0cf0
fix(ci): format lib/borrow_polonius/dune to satisfy dune fmt (#619)
## What
Greens `main`'s `build` job. After #617 fixed the doc-truthing guard,
the next `build` step — `dune build @fmt` — fails because **#614 added
`lib/borrow_polonius/dune` without the blank line** `dune fmt` requires
between the comment block and the `(library …)` stanza.
## Fix
Add the single blank line (canonical `dune format-dune-file` output).
Nothing else changes.
> Note: root `dune-project` / `.build/dune-project` show "drift" only
under newer **local** dune (3.14.0) and drift identically on `2aa00ff`
where CI's `@fmt` was green — i.e. CI's dune does **not** flag them, so
they're deliberately left untouched.
## Why this is a separate PR
#614 was merged (bypass) while its CI was incomplete — the `build` job
died at doc-truthing *before* reaching `@fmt`, so its `@fmt` compliance
was never checked. #617 fixed the first failure; this fixes the one it
unmasked. After this, the `build` job should be green.
Verified: `dune format-dune-file lib/borrow_polonius/dune` is now a
no-op.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
https://claude.ai/code/session_01Lz7pRcec2Z3tVtaAhvB3M8
---
_Generated by [Claude
Code](https://claude.ai/code/session_01Lz7pRcec2Z3tVtaAhvB3M8)_
Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>1 parent 33a4bfb commit 88a0cf0
1 file changed
Lines changed: 1 addition & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
| 4 | + | |
4 | 5 | | |
5 | 6 | | |
6 | 7 | | |
| |||
0 commit comments