File tree Expand file tree Collapse file tree 1 file changed +8
-1
lines changed
Expand file tree Collapse file tree 1 file changed +8
-1
lines changed Original file line number Diff line number Diff line change @@ -183,13 +183,20 @@ jobs:
183183 brew bump-formula-pr --tag "$RELEASE_TAG" --revision "$GITHUB_SHA" cbmc
184184 env :
185185 HOMEBREW_GITHUB_API_TOKEN : ${{ secrets.DB_CI_CPROVER_ACCESS_TOKEN }}
186+ - name : Checkout CBMC project source code to obtain access to scripts
187+ if : always()
188+ uses : actions/checkout@v2
189+ - name : Install golang toolchain to run the notification step
190+ if : always()
191+ run : brew install go
186192 - name : Slack notification of CI status
187- uses : rtCamp/action-slack-notify@v2
193+ if : success() || failure()
188194 env :
189195 SLACK_CHANNEL : team_open_source
190196 SLACK_COLOR : ${{ job.status }}
191197 SLACK_USERNAME : Github Actions CI bot
192198 SLACK_WEBHOOK : ${{ secrets.SLACK_WEBHOOK }}
199+ run : go run scripts/slack_notification_action.go
193200
194201 windows-msi-package :
195202 runs-on : windows-2019
You can’t perform that action at this time.
0 commit comments