From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 23 Jan 2021 20:31:02 +0000 (-0700)
Subject: Merge pull request #762 from aarroyoc/gh-action
X-Git-Tag: v0.9.0~158
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=70aa4934c53a1dbe8952f141ff8b17b706651f02;p=scryer-prolog.git

Merge pull request #762 from aarroyoc/gh-action

GitHub Actions
---

70aa4934c53a1dbe8952f141ff8b17b706651f02