fix: nightly-testing bot doesn't repeat (#709)

leanprover-community · Mar 22, 2024 · 0783e9c · 0783e9c
1 parent e5306c3
commit 0783e9c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/nightly_detect_failure.yml b/.github/workflows/nightly_detect_failure.yml
@@ -73,7 +73,7 @@ jobs:
           'num_before': 1,
           'num_after': 0,
           'narrow': [{'operator': 'stream', 'operand': 'nightly-testing'}, {'operator': 'topic', 'operand': 'Std status updates'}],
-          'apply_markdown': True
+          'apply_markdown': False
         }
         response = client.get_messages(request)
         messages = response['messages']