[ADP-3344] Use applyTx from the cardano-wallet-agda repository
#10095
| Job | Run time |
|---|---|
| 4s | |
| 4s |
applyTx from the cardano-wallet-agda repository
#10095
| Job | Run time |
|---|---|
| 4s | |
| 4s |