Fix publishing#107

Merged

piers-williams merged 2 commits intomainfrom

Aug 4, 2025

Commits on Aug 4, 2025

Skip tests in github profile. They were run in the build phase
piers-williams
committed
Use new publishing plugin to publish to github packages
piers-williams
committed