Adam Bergmark
431c2b0933
Upgrade docker image to ubuntu 20.04
2022-06-06 20:03:34 +02:00
nathannaveen
d848a54838
chore: Set permissions for GitHub actions
...
Restrict the GitHub token permissions only to the required ones; this way, even if the attackers will succeed in compromising your workflow, they won’t be able to do much.
- Included permissions for the action. https://github.com/ossf/scorecard/blob/main/docs/checks.md#token-permissions
https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#permissions
https://docs.github.com/en/actions/using-jobs/assigning-permissions-to-jobs
[Keeping your GitHub Actions and workflows secure Part 1: Preventing pwn requests](https://securitylab.github.com/research/github-actions-preventing-pwn-requests/ )
Signed-off-by: nathannaveen <42319948+nathannaveen@users.noreply.github.com>
2022-05-31 21:40:42 -07:00
Adam Bergmark
9bdb21352d
Note debian-bootstrap.sh in PR template
2022-05-21 20:57:32 +02:00
Mihai Maruseac
3d6168d3c1
Update PULL_REQUEST_TEMPLATE.md
2022-04-11 09:59:14 -07:00
Jens Petersen
70317ea1c4
GH image action: lts19 branch
2022-03-17 17:08:51 +08:00
Adam Bergmark
adf139fe1d
Add note on CI failures in PR template
2021-10-31 10:17:15 +01:00
Michael Snoyman
0c5bc988e1
Enable image workflow
2021-08-19 12:14:58 +03:00
Jens Petersen
a0a3df145f
disable the GHA for building images since we are not using it yet
2021-07-02 17:22:49 +08:00
Jens Petersen
37809469d0
GH check action: try restricting to the master branch
2021-06-17 23:35:33 +08:00
Jens Petersen
113a8313db
github docker registry requires image name below repository name
...
name unknown: docker image push is only supported with a tag of the format :owner/:repo_name/:image_name.
Please add an image name to "commercialhaskell/stackage" tag. e.g. "commercialhaskell/stackage/<image_name>"
2021-06-17 23:29:38 +08:00
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
