]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #3003 from rotu/patch-8
authorMark Thom <[email protected]>
Mon, 14 Jul 2025 04:22:24 +0000 (21:22 -0700)
committerGitHub <[email protected]>
Mon, 14 Jul 2025 04:22:24 +0000 (21:22 -0700)
CI: run clippy even if fmt fails


Trivial merge