From 7ff7113291f9269c21dacc9ccd1a0bf3c4fda3c4 Mon Sep 17 00:00:00 2001 From: burinc Date: Fri, 6 Nov 2026 01:29:15 +1100 Subject: [PATCH 1/2] ci: bump the jolt pin to 0.8.24 --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 62bd3b2..2d03406 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -14,7 +14,7 @@ on: # (jolt.fibers/kill!) and fiber pools (jolt.fibers/pool). The dispatch input # overrides it for one run, to try the nightly or another release env: - JOLT_VERSION: ${{ inputs.jolt-version || 'v0.8.21' }} + JOLT_VERSION: ${{ inputs.jolt-version || 'v0.8.24' }} jobs: test: From d15b825452c07bac7f5199f35542ba8f18c9e077 Mon Sep 17 00:00:00 2001 From: burinc Date: Fri, 6 Nov 2026 01:53:29 +1100 Subject: [PATCH 2/2] Point the test alias at writ main; its set literal threw on jolt 0.8.24 jolt 0.8.24 throws IllegalArgumentException on a map or set literal whose computed keys turn out equal, as the JVM does (jolt-lang/jolt ef481b6b). writ at 4055b49 built #{target (:target ...)} with both the same namespace inside prove-laws, so every writ-check spec here died with "Duplicate key: ensemble.order". writ main (aab0997d) no longer has that literal; with it the whole suite passes locally on 0.8.24 (370 tests, 0 failures, 0 errors). --- deps.edn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps.edn b/deps.edn index 10f01b1..b0ec627 100644 --- a/deps.edn +++ b/deps.edn @@ -4,7 +4,7 @@ {:test {:extra-paths ["test"] :extra-deps {io.github.jlt-commons/writ {:git/url "https://github.com/jlt-commons/writ" - :git/sha "4055b495575e5ddd806b155e25a6678b31153761"}} + :git/sha "aab0997d23d532951b0a201c22ebe2138cdf4104"}} :main-opts ["-m" "ensemble.runner"]} :bench {:extra-paths ["bench"] :main-opts ["-m" "ensemble.bench"]}}}