CI cleanup

[cz4rs]

Very basic cleanup (mostly to make the workflows easier to read):

• get rid of the GitHub actions deprecation warnings
• remove obsolete workflow
• remove redundant comments.

[fnrizzi]

i changed the target to be develop branch not main