From 87150fa79dd3bed04315983ad1e8675a78d50a28 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Agust=C3=ADn=20Borgna?=
 <121866228+aborgna-q@users.noreply.github.com>
Date: Fri, 25 Oct 2024 16:51:59 +0100
Subject: [PATCH] ci: Notify slack when miri checks fail (#1614)

Using the new notify-slack workflow from
https://github.com/CQCL/hugrverse-actions/pull/18.
I'll update the target branch once that is merged.
---
 .github/workflows/unsoundness.yml | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/unsoundness.yml b/.github/workflows/unsoundness.yml
index 457376d5a..aa9ce1e4c 100644
--- a/.github/workflows/unsoundness.yml
+++ b/.github/workflows/unsoundness.yml
@@ -21,9 +21,10 @@ env:
 
 jobs:
 
-   miri:
+  miri:
     name: "Miri"
     runs-on: ubuntu-latest
+    continue-on-error: true
     steps:
       - uses: actions/checkout@v4
       - name: Install Miri
@@ -38,3 +39,20 @@ jobs:
         run: sudo apt-get install -y capnproto
       - name: Test with Miri
         run: cargo miri test
+
+
+  notify-slack:
+    uses: CQCL/hugrverse-actions/.github/workflows/slack-notifier.yml@main
+    needs: miri
+    if: ${{ needs.miri.result == 'failure' && ( github.event_name == 'workflow_dispatch' || github.event_name == 'push' ) }}
+    with:
+      channel-id: 'C04SHCL4FKP'
+      slack-message: |
+        💥 The unsoundness check for `CQCL/hugr` failed. <https://github.com/CQCL/hugr/actions/runs/${{ github.run_id }}|Please investigate>.
+      # Rate-limit the message to once per day
+      timeout-minutes: 1440
+      # A repository variable used to store the last message timestamp.
+      timeout-variable: "UNSOUNDNESS_MSG_SENT"
+    secrets:
+        SLACK_BOT_TOKEN: ${{ secrets.SLACK_BOT_TOKEN }}
+        GITHUB_PAT: ${{ secrets.HUGRBOT_PAT }}