Merge pull request #6327 from IntersectMBO/test-cardano-cli-10.12.0.0

Bump `cardano-cli-10.12.0.0` and `cardano-api-10.18.0.0`

Author: palas

bench/plutus-scripts-bench/plutus-scripts-bench.cabal

@@ -82,7 +82,7 @@ library
   -- IOG dependencies
   --------------------------
   build-depends:
-    , cardano-api             ^>=10.17
+    , cardano-api             ^>=10.18
     , plutus-ledger-api       ^>=1.45
     , plutus-tx               ^>=1.45
     , plutus-tx-plugin        ^>=1.45

bench/tx-generator/src/Cardano/TxGenerator/Setup/Plutus.hs

@@ -3,6 +3,7 @@
 {-# LANGUAGE NamedFieldPuns #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TypeApplications #-}
 
 {-|
 Module      : Cardano.TxGenerator.Setup.Plutus
@@ -23,7 +24,7 @@ import           Control.Monad.Trans.Except
 import           Control.Monad.Trans.Except.Extra
 import           Control.Monad.Writer (runWriter)
 
-import           Cardano.CLI.Read (readFileScriptInAnyLang)
+import           Cardano.CLI.Read (readFileScriptInAnyLang, ScriptDecodeError)
 
 import           Cardano.Api
 import           Cardano.Ledger.Plutus.TxInfo (exBudgetToExUnits)
@@ -71,7 +72,7 @@ readPlutusScript (Left s)
     doLoad fp  = second (second (const $ ResolvedToFallback asFileName)) <$> readPlutusScript (Right fp)
 readPlutusScript (Right fp)
   = runExceptT $ do
-    script <- firstExceptT ApiError $
+    script <- firstExceptT (ApiError @ScriptDecodeError) $
       readFileScriptInAnyLang fp
     case script of
       ScriptInAnyLang (PlutusScriptLanguage _) _ -> pure (script, ResolvedToFileName fp)

bench/tx-generator/tx-generator.cabal

@@ -113,9 +113,9 @@ library
                       , attoparsec-aeson
                       , base16-bytestring
                       , bytestring
-                      , cardano-api ^>= 10.17
+                      , cardano-api ^>= 10.18
                       , cardano-binary
-                      , cardano-cli ^>= 10.11
+                      , cardano-cli ^>= 10.12
                       , cardano-crypto-class
                       , cardano-crypto-wrapper
                       , cardano-data

cabal.project

@@ -14,7 +14,7 @@ repository cardano-haskell-packages
 -- you need to run if you change them
 index-state:
   , hackage.haskell.org 2025-06-24T21:06:59Z
-  , cardano-haskell-packages 2025-07-01T09:22:51Z
+  , cardano-haskell-packages 2025-09-18T12:21:32Z
 
 packages:
   cardano-node

cardano-node-chairman/cardano-node-chairman.cabal

@@ -90,5 +90,5 @@ test-suite chairman-tests
   ghc-options:          -threaded -rtsopts "-with-rtsopts=-N -T"
 
   build-tool-depends:   cardano-node:cardano-node
-                      , cardano-cli:cardano-cli ^>= 10.11
+                      , cardano-cli:cardano-cli ^>= 10.12
                       , cardano-node-chairman:cardano-node-chairman

cardano-node/cardano-node.cabal

@@ -142,7 +142,7 @@ library
                       , async
                       , base16-bytestring
                       , bytestring
-                      , cardano-api ^>= 10.17.1
+                      , cardano-api ^>= 10.18
                       , cardano-crypto-class
                       , cardano-crypto-wrapper
                       , cardano-git-rev ^>=0.2.2

cardano-submit-api/cardano-submit-api.cabal

@@ -39,9 +39,9 @@ library
                       , aeson
                       , async
                       , bytestring
-                      , cardano-api ^>= 10.17
+                      , cardano-api ^>= 10.18
                       , cardano-binary
-                      , cardano-cli ^>= 10.11.1
+                      , cardano-cli ^>= 10.12
                       , cardano-crypto-class ^>= 2.2
                       , http-media
                       , iohk-monitoring

cardano-testnet/cardano-testnet.cabal

@@ -40,8 +40,8 @@ library
                       , aeson-pretty
                       , ansi-terminal
                       , bytestring
-                      , cardano-api ^>= 10.17
-                      , cardano-cli:{cardano-cli, cardano-cli-test-lib} ^>= 10.11.1
+                      , cardano-api ^>= 10.18
+                      , cardano-cli:{cardano-cli, cardano-cli-test-lib} ^>= 10.12
                       , cardano-crypto-class
                       , cardano-crypto-wrapper
                       , cardano-git-rev ^>= 0.2.2
@@ -266,6 +266,7 @@ test-suite cardano-testnet-test
                       , mtl
                       , process
                       , regex-compat
+                      , rio
                       , tasty ^>= 1.5
                       , text
                       , time

cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Cli/Query.hs

@@ -62,6 +62,7 @@ import           Testnet.Property.Util (integrationWorkspace)
 import           Testnet.Start.Types (GenesisOptions (..), NumPools (..), cardanoNumPools)
 import           Testnet.TestQueryCmds (TestQueryCmds (..), forallQueryCommands)
 import           Testnet.Types
+import           RIO (runRIO)
 
 import           Hedgehog
 import qualified Hedgehog as H
@@ -481,7 +482,6 @@ hprop_cli_queries = integrationWorkspace "cli-queries" $ \tempAbsBasePath' -> H.
   readVerificationKeyFromFile
     :: ( HasCallStack
        , MonadIO m
-       , MonadCatch m
        , MonadTest m
        , HasTextEnvelope (VerificationKey keyrole)
        , SerialiseAsBech32 (VerificationKey keyrole)
@@ -490,7 +490,7 @@ hprop_cli_queries = integrationWorkspace "cli-queries" $ \tempAbsBasePath' -> H.
     -> File content direction
     -> m (VerificationKey keyrole)
   readVerificationKeyFromFile work =
-    H.evalEitherM . liftIO . runExceptT . readVerificationKeyOrFile . VerificationKeyFilePath . File . (work </>) . unFile
+    H.evalIO . runRIO () . readVerificationKeyOrFile . VerificationKeyFilePath . File . (work </>) . unFile
 
   _verificationStakeKeyToStakeAddress :: Int -> VerificationKey StakeKey -> StakeAddress
   _verificationStakeKeyToStakeAddress testnetMagic delegatorVKey =