From d7eea418c6aa067b165825e6866742c991aedbda Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Thu, 6 Feb 2025 11:05:19 +1100 Subject: [PATCH] chore: fix typo in nightly_detect_failure.yml (#1118) --- .github/workflows/nightly_detect_failure.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/nightly_detect_failure.yml b/.github/workflows/nightly_detect_failure.yml index 73688ec28f..19fe7a01c0 100644 --- a/.github/workflows/nightly_detect_failure.yml +++ b/.github/workflows/nightly_detect_failure.yml @@ -92,7 +92,7 @@ jobs: 'type': 'stream', 'to': 'nightly-testing', 'topic': 'Batteries status updates', - 'content': "✅️ The latest CI for Batteries' [`nightly-testing`](https://github.com/leanprover-community/batteries/tree/nightly-testing) branch has succeeded! ([{os.getenv('SHA')}](https://github.com/${{ github.repository }}/commit/{os.getenv('SHA')}))"" + 'content': "✅️ The latest CI for Batteries' [`nightly-testing`](https://github.com/leanprover-community/batteries/tree/nightly-testing) branch has succeeded! ([{os.getenv('SHA')}](https://github.com/${{ github.repository }}/commit/{os.getenv('SHA')}))" } result = client.send_message(request) print(result)