Fix default Cabal version

plfa · Nov 13, 2023 · dad39f0 · dad39f0
1 parent 349adf9
commit dad39f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -16,7 +16,7 @@ env:
   DEFAULT_AGDA_VERSION: "2.6.3"
   DEFAULT_AGDA_STDLIB_VERSION: "1.7.2"
   DEFAULT_GHC_VERSION: "9.4.8"
-  DEFAULT_CABAL_VERSION: "3.10..0"
+  DEFAULT_CABAL_VERSION: "3.10.1.0"
   DEFAULT_EPUBCHECK_VERSION: "4.2.6"
   NOKOGIRI_USE_SYSTEM_LIBRARIES: true