Federico Di Pierro 43e4d25848 chore(ci): properly checkout pull request HEAD instead of merge commit in gh actions. ...

See https://github.com/actions/checkout#checkout-pull-request-head-commit-instead-of-merge-commit.

Signed-off-by: Federico Di Pierro <nierro92@gmail.com>

2022-12-05 15:59:30 +01:00

..

ci.yml

chore(ci): properly checkout pull request HEAD instead of merge commit in gh actions.

2022-12-05 15:59:30 +01:00

codeql.yaml

update(CI): remove release branches from the push event

2022-08-23 15:55:05 +02:00

codespell.yml

update(CI): do not check hidden files with codespell

2022-08-23 16:29:05 +02:00