Merge main into v1#734

Merged

edoardopirovano merged 9 commits intov1from

update-v1.0.14-83d5f38d

Sep 9, 2021

Commits on Sep 6, 2021

Update changelog and version after v1.0.13
github-actions[bot]
committed
1.0.14
github-actions[bot]
committed
Update checked-in dependencies
github-actions[bot]
committed
Merge pull request #730 from github/mergeback/v1.0.13-to-main-89d78ba4
edoardopirovano
authored

Commits on Sep 7, 2021

Commits on Sep 8, 2021

Refactor PR checks
edoardopirovano
committed

Commits on Sep 9, 2021

Merge pull request #732 from edoardopirovano/refactor-checks
edoardopirovano
authored
1.0.14
github-actions[bot]
committed