Gary Verhaegen 00224c2480 ci: alert Slack on PR build completion (#4286) ... One of the outputs of our brainstorming about how to make CI better was that it is annoying to have to "babysit" pull requests. This PR attempts to introduce a notification mechanism by which Azure will notify people on Slack when a build finishes, so they know they need to go and rerun or merge the corresponding PR. This commit also changes the existing $Slack.URL variable to $Slack.team-daml, to make more explicit where the Slack message is being sent to (Slack works with one token per destination channel). Both $Slack.URL and $Slack.team-daml are currently defined as the same token in Azure. CHANGELOG_BEGIN CHANGELOG_END		2020-02-03 16:29:13 +01:00
..
azure-cleanup	update copyright notices to 2020 (#3939)	2020-01-02 21:21:13 +01:00
cron	docs cron: use GitHub-Flavoured Markdown (#4141)	2020-01-21 14:46:02 +01:00
docker/daml-sdk	daml-sdk container improvements (#3902)	2019-12-19 08:31:15 +01:00
build-unix.yml	upload typescript packages to npm registry (#4185)	2020-01-23 18:31:50 +01:00
build-windows.yml	Bazel 1.1 (#3249)	2019-11-11 10:06:03 +01:00
check-changelog.sh	check for changelog (#3963)	2020-01-07 17:19:50 +01:00
configure-bazel.sh	update copyright notices to 2020 (#3939)	2020-01-02 21:21:13 +01:00
dev-env-install.sh	update copyright notices to 2020 (#3939)	2020-01-02 21:21:13 +01:00
dev-env-push.py	update copyright notices to 2020 (#3939)	2020-01-02 21:21:13 +01:00
release.sh	Disable release step on macos (#4330)	2020-01-31 17:08:47 +01:00
report-end.yml	record build times on macos (#2379)	2019-08-02 14:34:12 +01:00
report-start.yml	record build times on macos (#2379)	2019-08-02 14:34:12 +01:00
slack_user_ids	ci: alert Slack on PR build completion (#4286)	2020-02-03 16:29:13 +01:00
tell-slack-failed.yml	ci: alert Slack on PR build completion (#4286)	2020-02-03 16:29:13 +01:00
windows-diagnostics.ps1	windows: CI agent diagnostics (#1146)	2019-05-15 11:59:56 +02:00