From fba2954264b35af16a27652c8bfe83f63c789c16 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 4 Jan 2024 16:12:38 -0500
Subject: [PATCH] CI: better report to slack

---
 .github/workflows/main.yml | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 4b5d8b6..1217f83 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -18,6 +18,9 @@ jobs:
           - '5.0.0'
     runs-on: ${{ matrix.os }}
     steps:
+    - uses: imandra-ai/imandra-build-config/actions/slack-send-build-status@master
+      with:
+        slack-webhook-url: ${{ secrets.SLACK_WEBHOOK_URL }}
     - uses: actions/checkout@v2
     - uses: ocaml/setup-ocaml@v2
       with:
@@ -28,11 +31,3 @@ jobs:
     - run: opam exec -- dune build --ignore-promoted-rules
     - run: opam exec -- dune runtest --ignore-promoted-rules
       if: ${{ matrix.os == 'ubuntu-latest' && matrix.ocaml-compiler == '5.0.0' }}
-    - uses: 8398a7/action-slack@v3
-      with:
-        status: ${{ job.status }}
-        fields: workflow,commit,repo,ref
-          # fields: workflow,commit,repo,ref,author
-      env:
-        SLACK_WEBHOOK_URL: ${{ secrets.SLACK_WEBHOOK_URL }}
-      if: always()