From 7a72809646f7084dd3b20e4296441309324aed1f Mon Sep 17 00:00:00 2001
From: leon <leon@lol3r.net>
Date: Mon, 13 Apr 2026 16:27:24 +0200
Subject: [PATCH] Add another idea

---
 README.md                           | 1 +
 projects/lean-distributed-builds.md | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 projects/lean-distributed-builds.md

diff --git a/README.md b/README.md
index 6bc7c40..75421b5 100644
--- a/README.md
+++ b/README.md
@@ -43,6 +43,7 @@ Name | Status | Blog Entries
 [Auto-Scaling Gitea Runners](./projects/autoscaling-gitea-runners.md) | - | -
 [Custom SQL crate](./projects/custom-sql-crate.md) | - | -
 [Teamspeak Whitegirl Music](./projects/teamspeak-whitegirl-music.md) | - | -
+[Distributed Build System for Lean4](./projects/lean-distributed-builds.md) | - | -
 
 ## Hardware Projects
 Name | Status | Blog Entries
diff --git a/projects/lean-distributed-builds.md b/projects/lean-distributed-builds.md
new file mode 100644
index 0000000..f49ffde
--- /dev/null
+++ b/projects/lean-distributed-builds.md
@@ -0,0 +1 @@
+# Distributed Build System for Lean4