Release v0.7.2

🔖v0.7.2

Potherca (1):
      Change Github Action name to current convention.

Robbert Müller (1):
      🤖Automatic github tag to release action