Yuri Astrakhan e037b5a7f6

PR workflow - error reporting and cleanup (#836) ...

optimize a bit the CI workflow PR commenting logic
to avoid some errors and better debugging messages.

2020-04-28 15:37:07 -04:00

..

workflows

PR workflow - error reporting and cleanup (#836)

2020-04-28 15:37:07 -04:00

issue_template.md

Update issue template

2018-01-31 16:59:49 +01:00

pull_request_template.md

Fix typo in pull_request_template (#682)

2019-10-21 22:31:24 -04:00