Bump the CI's cabal cache version since it looks like it's gotten hosed.

GaloisInc · Jan 28, 2025 · 8f2d3b6 · 8f2d3b6
1 parent b3cf031
commit 8f2d3b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -23,7 +23,7 @@ env:
   # older .so files are cached, which can have various effects
   # (e.g. cabal complains it can't find a valid version of the "happy"
   # tool).
-  CABAL_CACHE_VERSION: 2
+  CABAL_CACHE_VERSION: 3
   SOLVER_CACHE_VERSION: 1
 
   DISABLED_TESTS: "test0000 test_FNV_a1_rev test0010_jss_cnf_exp test0039_rust test_boilerplate test_external_abc"