CI

imandra-ai · Sep 5, 2023 · 3b65c4f · 3b65c4f
1 parent 99e963c
commit 3b65c4f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -28,3 +28,10 @@ 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,job,commit,repo,ref,author,took
+      env:
+        SLACK_WEBHOOK_URL: ${{ secrets.SLACK_WEBHOOK_URL }}
+      if: always()