From: Mark Thom Date: Sat, 4 Nov 2023 17:34:11 +0000 (-0600) Subject: Merge pull request #2147 from infogulch/lint-format X-Git-Tag: v0.9.4~124 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=da0018efdf56868bb28d7eee14981125ef7afb9e;p=scryer-prolog.git Merge pull request #2147 from infogulch/lint-format Resolve all lints and formating; split style checks into separate job --- da0018efdf56868bb28d7eee14981125ef7afb9e