]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1834 from infogulch/ci-publish-releases
authorMark Thom <[email protected]>
Fri, 23 Jun 2023 18:01:32 +0000 (12:01 -0600)
committerGitHub <[email protected]>
Fri, 23 Jun 2023 18:01:32 +0000 (12:01 -0600)
Add steps to publish binaries when releases are tagged


Trivial merge