Nicolò Ribaudo fb910e063c [gh action] Release on tag push

2019-07-20 16:39:10 +02:00

..

commit-matches-branch

[gh action] Release on tag push

2019-07-20 16:39:10 +02:00

trigger-github-release

Create drafts instead of finished releases (#9729) [skip ci]

2019-03-21 08:26:10 +01:00