From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 14 Jul 2025 04:22:24 +0000 (-0700)
Subject: Merge pull request #3003 from rotu/patch-8
X-Git-Tag: v0.10.0~38
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5dc8983eecf04839afbc6abe7cf6fc0ddad6ceea;p=scryer-prolog.git

Merge pull request #3003 from rotu/patch-8

CI: run clippy even if fmt fails
---

5dc8983eecf04839afbc6abe7cf6fc0ddad6ceea