Increase time limit for add liquidity proof

runtimeverification / kasmer-multiversx

Wasm semantics for the Elrond/MultiversX blockchain network

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

Increase time limit for add liquidity proof #132

Closed bbyalcinkaya closed 3 months ago

bbyalcinkaya commented 3 months ago

The add liquidity proof fails on CI with a timeout error. It completes in 380 minutes locally. This PR increases the time limit for add liquidity to 480 minutes, ~25% higher than the local completion time.