CI: better report to slack

imandra-ai · Jan 4, 2024 · fba2954 · fba2954
1 parent 11b3d7b
commit fba2954
Showing 1 changed file with 3 additions and 8 deletions.
diff --git 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()