Skip to content

Commit

Permalink
ci: Post issues for miri check fails instead of messaging slack (#1662)
Browse files Browse the repository at this point in the history
Requires the new `create-issue` workflow to be merged
(CQCL/hugrverse-actions#24).
  • Loading branch information
aborgna-q authored Nov 20, 2024
1 parent f0bd678 commit 9a43956
Showing 1 changed file with 10 additions and 12 deletions.
22 changes: 10 additions & 12 deletions .github/workflows/unsoundness.yml
Original file line number Diff line number Diff line change
Expand Up @@ -40,19 +40,17 @@ jobs:
run: cargo miri test


notify-slack:
uses: CQCL/hugrverse-actions/.github/workflows/slack-notifier.yml@main
create-issue:
uses: CQCL/hugrverse-actions/.github/workflows/create-issue.yml@main
needs: miri
if: always() && needs.miri.result == 'failure' && 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 }}
with:
title: "💥 Unsoundness check failed on main"
body: |
The unsoundness check for `CQCL/hugr` failed.
[https://github.com/CQCL/hugr/actions/runs/${{ github.run_id }}](Please investigate).
unique-label: "unsoundness-checks"
other-labels: "bug"

0 comments on commit 9a43956

Please sign in to comment.