Migrate build to github actions

[adietish]

We experienced repeated failures in jenkins which failed to publish to repository.jboss.org. We therefore need to migrate the publishing build to github actions.