]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1978 from aarroyoc/ci-32-bits
authorMark Thom <[email protected]>
Sun, 27 Aug 2023 18:49:20 +0000 (12:49 -0600)
committerGitHub <[email protected]>
Sun, 27 Aug 2023 18:49:20 +0000 (12:49 -0600)
32 bit CI for Linux


Trivial merge