Commit d907b6c
fix(ci): format lib/borrow_polonius/dune to satisfy dune fmt
#614 added lib/borrow_polonius/dune unformatted; the build job's
`dune build @fmt` requires a blank line between the comment block and
the (library ...) stanza. It was masked on main until #617 fixed the
doc-truthing guard that failed earlier in the same job.
Only the blank line is added (canonical `dune format-dune-file` output);
no other dune files are touched — root dune-project / .build/dune-project
"drift" only under newer local dune and is not flagged by CI's dune.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Lz7pRcec2Z3tVtaAhvB3M81 parent 33a4bfb commit d907b6c
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