From d907b6ca58dfbef26a00fde5311158c2275a6ed7 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Sun, 21 Jun 2026 03:13:36 +0100 Subject: [PATCH] fix(ci): format lib/borrow_polonius/dune to satisfy dune fmt MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit #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 Claude-Session: https://claude.ai/code/session_01Lz7pRcec2Z3tVtaAhvB3M8 --- lib/borrow_polonius/dune | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/borrow_polonius/dune b/lib/borrow_polonius/dune index 2ffd59dd..a7e16538 100644 --- a/lib/borrow_polonius/dune +++ b/lib/borrow_polonius/dune @@ -1,6 +1,7 @@ ; ADR-022 M1: the Polonius-style loan solver lives in its own library, created ; but NOT yet wired into `affinescript` (nothing depends on it). M3 wires it in ; behind a parallel-run diff against the lexical checker; M4 cuts over. + (library (name borrow_polonius) (public_name affinescript.borrow_polonius)