leankg 0.19.12

Lightweight Knowledge Graph for AI-Assisted Development
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

# LeanKG on Render (https://leankg.onrender.com)
# Builds ./Dockerfile → UI v2 embedded via rust_embed; serves `leankg web` on :8080.
# Auto-deploy should track `main`. After UI changes, clear build cache if title stays "ui".
services:
  - type: web
    name: leankg
    runtime: docker
    dockerfilePath: ./Dockerfile
    region: iad
    plan: free
    port: 8080
    healthCheckPath: /api/index/status
    envVars:
      - key: PORT
        value: 8080
      - key: LEANKG_SERVE_PROJECT
        value: /app
      - key: UI_EMBED_REV
        value: "2026-07-21-onrender-rca4"