Combine Github workflows into single file

[arik-so]

No other reason than internal maintenance convenience, i. e. the ability to cancel action runs with a single button press instead of four.