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