Closed rodrigorras closed 2 years ago
Link related issues:
Changes/added features:
The following short checklist should be used to make sure your PR is of good quality and can be merged easily:
./run.sh
Reviewers: @ianmiell @ttarczynski @sanyer @teszes @choilmto @rodrigorras
lgtm
Link related issues:
Changes/added features:
The following short checklist should be used to make sure your PR is of good quality and can be merged easily:
./run.sh
works correctly for all new examplesReviewers: @ianmiell @ttarczynski @sanyer @teszes @choilmto @rodrigorras