Update workflow configuration

[basmasking]

The current workflow runs all the ci on main, but this is not required. The only way to push to main is via pull requests, and there the ci is already done.

For easier update of versions, a version script is nice.