From: Mark Thom Date: Wed, 6 Dec 2023 20:45:46 +0000 (-0700) Subject: Merge pull request #2207 from infogulch/ci-build-before-test X-Git-Tag: v0.9.4~80 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1e1426cab0888a7c367843365c4bfd6104f0f07c;p=scryer-prolog.git Merge pull request #2207 from infogulch/ci-build-before-test CI: Make test step output easier to read --- 1e1426cab0888a7c367843365c4bfd6104f0f07c