Merge pull request #1100 from pennam/release-tag

Fix github workflow to package the core when pushing a tag