From a826746b329540daa67f0bdca42464446208e5e9 Mon Sep 17 00:00:00 2001
From: Sebastian Nagel <ch1bo@users.noreply.github.com>
Date: Thu, 18 Dec 2025 12:13:39 +0100
Subject: [PATCH] Add Leios project

These are project specific repositories that could be represented on the activity tracker. But see also https://engineering.iog.io/leios for a full reflection of what counts into Leios.
---
 projects.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/projects.json b/projects.json
index 5706487..2c0d258 100644
--- a/projects.json
+++ b/projects.json
@@ -90,5 +90,6 @@
     {"title": "Lace", "owner": "input-output-hk", "names": ["lace"]},
     {"title": "PaylKoyn", "owner": "SAIB-Inc", "names": ["paylkoyn"]},
     {"title": "Evolution SDK", "owner": "no-witness-labs", "names": ["evolution-sdk"]}
+    {"title": "Leios", "owner": "input-output-hk", "names": ["ouroboros-leios", "ouroboros-leios-formal-spec"]},
   ]
 }