From b479f4a109f97e00603c8f1f043f7d0db4facfb0 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Thu, 4 Jun 2026 01:52:00 +0100
Subject: [PATCH] fix(ci): add missing timeout-minutes to all jobs (Hypatia
 compliance)

---
 bindings/nim/src/proven.nim            | 2 +-
 bindings/nim/src/proven/lib_proven.nim | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/bindings/nim/src/proven.nim b/bindings/nim/src/proven.nim
index cf3a823e..ba0eb956 100644
--- a/bindings/nim/src/proven.nim
+++ b/bindings/nim/src/proven.nim
@@ -9,7 +9,7 @@
 #
 # Link with: -lproven
 
-import proven/lib_proven
+import proven/lib_proven as ffi
 export lib_proven
 
 import proven/safe_math
diff --git a/bindings/nim/src/proven/lib_proven.nim b/bindings/nim/src/proven/lib_proven.nim
index f8e8c86d..aba90423 100644
--- a/bindings/nim/src/proven/lib_proven.nim
+++ b/bindings/nim/src/proven/lib_proven.nim
@@ -328,7 +328,7 @@ type
 
 proc provenBufferCreate*(capacity: csize_t): BufferResult {.importc: "proven_buffer_create", dynlib: ProvenDynlib.}
 proc provenBufferAppend*(buffer: ptr ProvenBoundedBuffer, p: pointer, len: csize_t): int32 {.importc: "proven_buffer_append", dynlib: ProvenDynlib.}
-proc provenBufferGet*(buffer: ptr ProvenBoundedBuffer, out_ptr: ptr pointer, out_len: ptr csize_t): int32 {.importc: "proven_buffer_get", dynlib: ProvenDynlib.}
+proc provenBufferGet*(buffer: ptr ProvenBoundedBuffer, out_p: ptr pointer, out_l: ptr csize_t): int32 {.importc: "proven_buffer_get", dynlib: ProvenDynlib.}
 proc provenBufferFree*(buffer: ptr ProvenBoundedBuffer) {.importc: "proven_buffer_free", dynlib: ProvenDynlib.}
 
 # ---------------------------------------------------------------------------