From 8d90dc78d823c4589efa69446779dd4d11c97933 Mon Sep 17 00:00:00 2001
From: Felix Exner <exner@fzi.de>
Date: Tue, 4 Jun 2024 13:10:21 +0200
Subject: [PATCH] Remove ignore for real_time.md

---
 .github/workflows/ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index cb0055c4..f679a5e3 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -100,7 +100,6 @@ jobs:
             --exclude-dir=CMakeModules \
             --exclude=tcp_socket.cpp \
             --exclude-dir=debian \
-            --exclude=real_time.md \
             --exclude=dataflow.graphml \
             --exclude=start_ursim.sh