Merge pull request #2 from BRonen/remove-nix-from-tests-action remove nix from github actions

Changes

2 changed files (+6/-20)

• .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
• native/sqliteffi.c
  • @@ -1,6 +1,5 @@
    #include <lean/lean.h> #include <sqlite3.h> - #include <stdio.h> lean_external_class* g_sqlite_connection_external_class = NULL; lean_external_class* g_sqlite_cursor_external_class = NULL;
  • @@ -26,15 +25,11 @@
    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 +44,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)
  • @@ -68,8 +61,6 @@ sqlite3* conn = unbox_connection(conn_box);
    const char* query = lean_string_cstr(query_str); sqlite3_stmt* cursor = malloc(sizeof(sqlite3_stmt*)); - - printf("initialize_cursor: %x\n", cursor); int32_t c = sqlite3_prepare_v2(conn, query, -1, &cursor, NULL);