From: Mark Thom Date: Fri, 23 Jun 2023 18:01:32 +0000 (-0600) Subject: Merge pull request #1834 from infogulch/ci-publish-releases X-Git-Tag: v0.9.2~124 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=bcc5bff376a231cc7d015dc54f636c0ee8170646;p=scryer-prolog.git Merge pull request #1834 from infogulch/ci-publish-releases Add steps to publish binaries when releases are tagged --- bcc5bff376a231cc7d015dc54f636c0ee8170646