Skip to content

Run Aave V4 Spec

Run Aave V4 Spec #247

Manually triggered November 28, 2025 13:11
Status Failure
Total duration 6m 21s
Artifacts

on-demand.yml

on: workflow_dispatch
Fit to window
Zoom out
Zoom in

Annotations

3 errors
All Tests
Process completed with exit code 1.
packages/spec/repay/business.spec.ts > Repaying Loans on Aave V4 > Given a user and a reserve with an active borrow position > When the user repays a partial amount of the loan > Then the borrow position is updated to reflect the reduced outstanding balance: packages/spec/repay/business.spec.ts#L207
InvariantError: Expected result to be Ok: Execution reverted for an unknown reason. Estimate Gas Arguments: from: 0xF3C428341565F507BE0627acC9A876682B247cD2 to: 0xBa97c5E52cd5BC3D7950Ae70779F8FfE92d40CdC value: 0 ETH data: 0xb1e8f8ef00000000000000000000000000000000000000000000000000000000000000030000000000000000000000000000000000000000000000000000000000002f7c000000000000000000000000f3c428341565f507be0627acc9a876682b247cd2 Details: execution reverted Version: [email protected] due to Execution reverted for an unknown reason. Details: execution reverted Version: [email protected] due to RPC Request failed. URL: https://virtual.mainnet-aave.us-east.rpc.tenderly.co/dbaa58ab-597b-4bcd-ae6a-b8e50f716146 Request body: {"method":"eth_estimateGas","params":[{"data":"0xb1e8f8ef00000000000000000000000000000000000000000000000000000000000000030000000000000000000000000000000000000000000000000000000000002f7c000000000000000000000000f3c428341565f507be0627acc9a876682b247cd2","from":"0xF3C428341565F507BE0627acC9A876682B247cD2","gas":"0x39888","maxFeePerGas":"0x2","maxPriorityFeePerGas":"0x1","nonce":"0xc","to":"0xBa97c5E52cd5BC3D7950Ae70779F8FfE92d40CdC","value":"0x0"}]} Details: execution reverted Version: [email protected] ❯ k packages/types/src/helpers/assertions.ts:31:11 ❯ packages/spec/repay/business.spec.ts:207:9
packages/spec/positions/business.spec.ts > Health Factor Scenarios on Aave V4 > Given a user with a one supply position as collateral > And the user has a one borrow position: packages/spec/positions/business.spec.ts#L106
InvariantError: Expected result to be Ok: Execution reverted for an unknown reason. Estimate Gas Arguments: from: 0x3C065fD96ACb03BB66107ef922B44A7f343B9735 to: 0xBa97c5E52cd5BC3D7950Ae70779F8FfE92d40CdC value: 0 ETH data: 0xac9650d800000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000000000000000000000000000000000000064852a56a5000000000000000000000000000000000000000000000000000000000000000700000000000000000000000000000000000000000000000009b0de29d6175d450000000000000000000000003c065fd96acb03bb66107ef922b44a7f343b97350000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000649e35c533000000000000000000000000000000000000000000000000000000000000000700000000000000000000000000000000000000000000000000000000000000010000000000000000000000003c065fd96acb03bb66107ef922b44a7f343b973500000000000000000000000000000000000000000000000000000000 Details: execution reverted Version: [email protected] due to Execution reverted for an unknown reason. Details: execution reverted Version: [email protected] due to RPC Request failed. URL: https://virtual.mainnet-aave.us-east.rpc.tenderly.co/dbaa58ab-597b-4bcd-ae6a-b8e50f716146 Request body: {"method":"eth_estimateGas","params":[{"data":"0xac9650d800000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000000000000000000000000000000000000064852a56a5000000000000000000000000000000000000000000000000000000000000000700000000000000000000000000000000000000000000000009b0de29d6175d450000000000000000000000003c065fd96acb03bb66107ef922b44a7f343b97350000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000649e35c533000000000000000000000000000000000000000000000000000000000000000700000000000000000000000000000000000000000000000000000000000000010000000000000000000000003c065fd96acb03bb66107ef922b44a7f343b973500000000000000000000000000000000000000000000000000000000","from":"0x3C065fD96ACb03BB66107ef922B44A7f343B9735","gas":"0x3ec20","maxFeePerGas":"0x2","maxPriorityFeePerGas":"0x1","nonce":"0x3","to":"0xBa97c5E52cd5BC3D7950Ae70779F8FfE92d40CdC","value":"0x0"}]} Details: execution reverted Version: [email protected] ❯ k packages/types/src/helpers/assertions.ts:31:11 ❯ packages/spec/positions/business.spec.ts:106:9