]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #2147 from infogulch/lint-format
authorMark Thom <[email protected]>
Sat, 4 Nov 2023 17:34:11 +0000 (11:34 -0600)
committerGitHub <[email protected]>
Sat, 4 Nov 2023 17:34:11 +0000 (11:34 -0600)
Resolve all lints and formating; split style checks into separate job


Trivial merge