15 Commits

Author	SHA1	Message	Date
Jens Petersen	e2ac7b6308	add github workflow check action	2021-02-17 11:29:21 +08:00
Michael Sloan	b9a700c5ca	Fix another typo in PR template	2020-08-31 23:52:14 -06:00
Adam Bergmark	186780a2e5	Fix typo in PR template	2020-08-08 19:06:04 +02:00
Hideaki Kawai	b1a28d0710	Update github PR template	2020-07-28 23:24:14 +00:00
Leonhard Markert	ca7a4f4d4c	Update build instructions ... ... to bring them closer to what's described in MAINTAINERS.md. In particular, the `cd` and `rm -f stack.yaml` steps were missing.	2020-02-18 14:09:43 +00:00
Mihai Maruseac	7f9d602e23	Update PULL_REQUEST_TEMPLATE.md	2019-01-21 19:59:28 -08:00
Jens Petersen	e942eccfc4	tweaks to the PR template text	2018-07-21 23:15:38 +09:00
Alexey Zabelin	1e5df511e6	Add more precise instructions	2018-05-02 20:15:35 -04:00
Dan Burton	2776a2b573	Specify 30 mins in PR template, closes #3386	2018-03-16 16:32:46 -07:00
Dylan Simon	3e3a2cbad3	PR template: fix typo of "successfully"	2018-01-24 14:05:49 -05:00
Mihai Maruseac	837a05e0ba	Fix typo in pull request template.	2018-01-01 11:18:06 -08:00
Mihai Maruseac	4348312a1c	Update PULL_REQUEST_TEMPLATE.md ... So that the fact that the last step needs to be run on a local machine is made clear	2018-01-01 11:17:36 -08:00
Luke Murphy	c0a1d123ed	Make it explicit what should be avoided.	2017-12-20 11:51:35 +01:00
Jens Petersen	e8859f55fc	PULL_REQUEST_TEMPLATE.md: encourage stack build --test --bench	2017-12-19 12:59:03 +09:00
Luke Murphy	f9540819d5	Add NBs to a pull request template.	2017-12-13 17:25:43 +01:00