Remove ignore for real_time.md

urfeex · Jun 17, 2024 · 8d90dc7 · 8d90dc7
1 parent 2ea936f
commit 8d90dc7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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