26 Commits

Author	SHA1	Message	Date
Jens Petersen	14f4d3b79f	GH image: fix branch tag	2021-06-17 22:59:33 +08:00
Jens Petersen	ceaa6825ab	add GH workflow action to create the build image ... Based on https://github.com/fpco/stackage-server/blob/master/.github/workflows/base.yml Image is pushed to docker.pkg.github.com. Later we should switch from docker to current beta container registry ghcr.io	2021-06-17 22:24:23 +08:00
Jens Petersen	b9f1c635c1	GH workflow: we don't actually use haskell/actions just our own stack	2021-06-17 14:35:35 +08:00
Jens Petersen	2dcb7d8e8f	.github: drop the hardcoding of cabal-install	2021-04-15 11:27:29 +08:00
Adam Bergmark	bfcd7c5d31	Note location of verify-package, closes #5605	2021-03-15 23:44:54 +01:00
Adam Bergmark	4f652d8149	Revert "Try adding link in PR template" ... This reverts commit 2d7cc6b9f4.	2021-03-15 23:43:50 +01:00
Adam Bergmark	2d7cc6b9f4	Try adding link in PR template	2021-03-15 23:43:01 +01:00
Adam Bergmark	93f2d1f238	Note that pull request template needs to be updated to match verify-package	2021-03-15 23:41:27 +01:00
Jens Petersen	98e53dc17e	github workflow: also specify cabal-install default 3.4 to avoid pulling 3.2	2021-02-21 02:45:36 +08:00
Jens Petersen	a4e107cbe1	github workflow: specify ghc 8.10 - ubuntu 8.10.3 currently	2021-02-21 02:37:53 +08:00
Jens Petersen	fcc5ea235f	github workflow: specify ghc version for completeness	2021-02-21 02:25:47 +08:00
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