diff --git a/.github/workflows/unsoundness.yml b/.github/workflows/unsoundness.yml index 97ce1a7e92..77398f942c 100644 --- a/.github/workflows/unsoundness.yml +++ b/.github/workflows/unsoundness.yml @@ -24,6 +24,7 @@ jobs: miri: name: "Miri" runs-on: ubuntu-latest + continue-on-error: true steps: - uses: actions/checkout@v4 - name: Install Miri @@ -39,15 +40,19 @@ jobs: - name: Test with Miri run: cargo miri test - notify-failure: + + notify-slack: uses: CQCL/hugrverse-actions/.github/workflows/slack-notifier.yml@ab/slack-notifier + 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. . - # An unique identifier for the message type, to use in rate limiting. - message-label: "hugr-unsoundness" # 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 }}