]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1783 from infogulch/test
authorMark Thom <[email protected]>
Tue, 18 Apr 2023 06:35:45 +0000 (08:35 +0200)
committerGitHub <[email protected]>
Tue, 18 Apr 2023 06:35:45 +0000 (08:35 +0200)
Refactor CI Workflow


Trivial merge