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
..
tests.yml	github: run workflows on PR head commit	2021-03-17 00:15:13 +00:00