File tree 1 file changed +8
-1
lines changed
1 file changed +8
-1
lines changed Original file line number Diff line number Diff line change @@ -183,13 +183,20 @@ jobs:
183
183
brew bump-formula-pr --tag "$RELEASE_TAG" --revision "$GITHUB_SHA" cbmc
184
184
env :
185
185
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
186
192
- name : Slack notification of CI status
187
- uses : rtCamp/action-slack-notify@v2
193
+ if : success() || failure()
188
194
env :
189
195
SLACK_CHANNEL : team_open_source
190
196
SLACK_COLOR : ${{ job.status }}
191
197
SLACK_USERNAME : Github Actions CI bot
192
198
SLACK_WEBHOOK : ${{ secrets.SLACK_WEBHOOK }}
199
+ run : go run scripts/slack_notification_action.go
193
200
194
201
windows-msi-package :
195
202
runs-on : windows-2019
You can’t perform that action at this time.
0 commit comments