Guillaume Endignoux 94876db179 Always run git-diff in reproducible workflow, even if the job failed so far.

2020-06-15 17:25:50 +02:00

..

workflows

Always run git-diff in reproducible workflow, even if the job failed so far.

2020-06-15 17:25:50 +02:00

ISSUE_TEMPLATE.md

Initial commit

2020-01-30 11:47:29 +01:00

PULL_REQUEST_TEMPLATE.md

Initial commit

2020-01-30 11:47:29 +01:00

python_matcher.json

Adjust regexp

2020-04-29 11:46:52 +02:00