Is Release.yml workflow supposed to be used?

[SimonMarquis]

It seems like Release.yml was never run.
Releases are generated outside GitHub, so we should probably remove this unused workflow?

PS: see #1375 the worflow is also missing Gradle setup step.