From 8680e78a1fabf93a39c0c3ca1d556490fdc6226d Mon Sep 17 00:00:00 2001 From: BRonen Date: Thu, 23 Oct 2025 07:21:11 -0300 Subject: [PATCH 1/3] remove nix from github actions --- .github/workflows/lspec.yml | 17 ++++++----------- 1 file changed, 6 insertions(+), 11 deletions(-) diff --git a/.github/workflows/lspec.yml b/.github/workflows/lspec.yml index 0b06c6e..b04e4b7 100644 --- a/.github/workflows/lspec.yml +++ b/.github/workflows/lspec.yml @@ -1,21 +1,16 @@ name: "LSpec CI" + on: pull_request: push: branches: - master + workflow_dispatch: + jobs: build: - name: Build + name: Tests runs-on: ubuntu-latest steps: - - uses: actions/checkout@v2 - - uses: cachix/install-nix-action@v22 - with: - nix_path: nixpkgs=channel:nixos-24.11 - - name: Install Lean - run: nix-shell - - name: Log versions - run: nix-shell --run "lean --version && lake --version" - - name: run LSpec binary - run: nix-shell --run "lake exe lspec" + - uses: actions/checkout@v5 + - uses: leanprover/lean-action@v1 From 1f396a22bf4dbbc8246476b493d16c2fcb95d899 Mon Sep 17 00:00:00 2001 From: BRonen Date: Thu, 23 Oct 2025 07:24:57 -0300 Subject: [PATCH 2/3] remove old printf debugs --- native/sqliteffi.c | 8 -------- 1 file changed, 8 deletions(-) diff --git a/native/sqliteffi.c b/native/sqliteffi.c index 8c16804..4cba8ce 100644 --- a/native/sqliteffi.c +++ b/native/sqliteffi.c @@ -26,16 +26,12 @@ sqlite3_stmt* unbox_cursor(lean_object* o) { void connection_finalize(void* conn) { if (!conn) return; - printf("connection_finalize: %x\n", conn); - sqlite3_close(conn); } void cursor_finalize(void* cursor) { if (!cursor) return; - printf("cursor_finalize: %x\n", cursor); - sqlite3_finalize(cursor); } @@ -49,8 +45,6 @@ lean_obj_res lean_sqlite_open(b_lean_obj_arg path, uint32_t flags) { const char* path_str = lean_string_cstr(path); sqlite3* conn = malloc(sizeof(sqlite3*)); - printf("initialize_connection: %x\n", conn); - int32_t c = sqlite3_open_v2(path_str, &conn, flags, NULL); if (c == SQLITE_OK) @@ -69,8 +63,6 @@ lean_obj_res lean_sqlite_prepare(b_lean_obj_arg conn_box, b_lean_obj_arg query_s sqlite3_stmt* cursor = malloc(sizeof(sqlite3_stmt*)); - printf("initialize_cursor: %x\n", cursor); - int32_t c = sqlite3_prepare_v2(conn, query, -1, &cursor, NULL); if (c != SQLITE_OK) { From 055445adfa60ff6f7c8c634639ce29aea150d44d Mon Sep 17 00:00:00 2001 From: BRonen Date: Thu, 23 Oct 2025 10:42:40 -0300 Subject: [PATCH 3/3] remove unused require --- native/sqliteffi.c | 1 - 1 file changed, 1 deletion(-) diff --git a/native/sqliteffi.c b/native/sqliteffi.c index 4cba8ce..1214134 100644 --- a/native/sqliteffi.c +++ b/native/sqliteffi.c @@ -1,6 +1,5 @@ #include #include -#include lean_external_class* g_sqlite_connection_external_class = NULL; lean_external_class* g_sqlite_cursor_external_class = NULL;