6 Commits

Author	SHA1	Message	Date
Yuki Okushi	c7a3bca829	Adjust mentions about CI to GitHub Actions	2020-08-02 08:38:26 -05:00
Yuki Okushi	e20ac5d64b	Add RISC-V notification group instructions (#814) ... * Clean-up notification groups instructions * Add RISC-V notification group instructions * Re-order summary of notification groups * Add a list of the notification groups * Apply review suggestion	2020-07-28 19:06:07 +02:00
LeSeulArtichaut	3b1866b1ea	Clean up the paragraph about aliases for pinging the notification groups (#743) ... * Clean up the paragraph about aliases for pinging the notification groups * Add windows and arm command invocations Co-authored-by: Santiago Pastorino <spastorino@gmail.com> Co-authored-by: Santiago Pastorino <spastorino@gmail.com>	2020-06-10 18:04:19 -04:00
Niko Matsakis	1a229d6d60	complete the ICE-breaker => notification group rename	2020-06-09 18:03:33 -05:00
Niko Matsakis	089b82651d	add the ARM notification group (#740)	2020-06-09 23:58:22 +02:00
Niko Matsakis	e349f81b22	Rebrand ICE-breakers, introduce Windows notification group (#739) ... * rename ice-breakers to the more general notification-group also less confusing * add windows notification group * rebrand LLVM ICE-breakers as a "notification group" * include the link to example windows PR	2020-06-09 16:42:00 -03:00