Marco Gario 588a28d3b5 Merge remote-tracking branch 'origin/main' into platform_lang_pkg

2020-09-11 11:45:31 +02:00

..

codeql

Update codeql-config.yml

2020-07-07 13:09:32 +01:00

ISSUE_TEMPLATE

Apply suggestions from code review

2020-05-29 08:22:30 +02:00

workflows

Merge remote-tracking branch 'origin/main' into platform_lang_pkg

2020-09-11 11:45:31 +02:00

pull_request_template.md

Remove test builds section of PR template

2020-07-02 13:37:46 +01:00

update-release-branch.py

Merge branch 'main' into release-sorting

2020-06-23 12:13:58 +01:00