4 Commits
Author SHA1 Message Date
voidderef e8000214b4 fix: Remove obsolete pumptools-public release package
Since the pumptools.zip package contains already everything
that's supposed to be released on the previous version already,
a separate "public" release isn't required anymore.

Also address this issue in the github workflows to publish
the full package including everything.
2025-10-03 18:20:23 +02:00
voidderef 47c4725774 fix: Github action deprecation of upload/download artifact 2025-06-09 21:24:33 +02:00
voidderef d533325692 fix: Upgrade github action runner to 22.04 from deprecated 20.04 2025-06-09 21:23:39 +02:00
icex2 cdd7f15825 Add github action workflows for building and publishing
Build every push to master and upload artifacts. For version tags,
do the same plus create a github release.
2021-08-15 14:47:22 +02:00