From 401473373f8a0cc192641146757cf78392072c1a Mon Sep 17 00:00:00 2001
From: askalf <263217947+askalf@users.noreply.github.com>
Date: Sat, 31 Oct 2026 23:02:19 -0400
Subject: [PATCH] README: the live CI on pitlane badge, linked to the proof
page
---
README.md | 1 +
1 file changed, 1 insertion(+)
diff --git a/README.md b/README.md
index b259c93..793b839 100644
--- a/README.md
+++ b/README.md
@@ -11,6 +11,7 @@
+