Michal Dorner 9e7258bb2a Specify job permissions in the pull request workflow

2022-10-12 22:02:50 +02:00

..

workflows

Specify job permissions in the pull request workflow

2022-10-12 22:02:50 +02:00

filters.yml

Change detection via git + rename githubToken to token (#9)

2020-05-26 17:16:09 +02:00