marian/.github
Roman Grundkiewicz 080d75ad59 Merged PR 14402: Sync with public marian-dev master 1.9.31
This simply pulls the recent updates from the public repo.
2020-07-28 22:19:40 +00:00
..
ISSUE_TEMPLATE Add templates for GitHub issues and pull requests 2020-03-16 20:10:18 -07:00
workflows Merged PR 14402: Sync with public marian-dev master 1.9.31 2020-07-28 22:19:40 +00:00
pull_request_template.md Add templates for GitHub issues and pull requests 2020-03-16 20:10:18 -07:00