Ondřej Budai 18af1f5b78 github: run workflows on PR head commit ... By default, the checkout action checkouts the merge commit. This is different from what Schutzbot currently does - it runs the test on the PR HEAD commit. Let's change the GitHub workflows behaviour to the same one as Schutzi uses. Signed-off-by: Ondřej Budai <ondrej@budai.cz>		2021-03-17 00:15:13 +00:00
..
workflows	github: run workflows on PR head commit	2021-03-17 00:15:13 +00:00
PULL_REQUEST_TEMPLATE.md	.github: add checklist to PR template	2021-01-15 13:21:12 +01:00