Skip to content

Actions: aave-dao/aave-v3-origin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,139 workflow runs
1,139 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: move event from contract to interface (#134) certora-stata #238: Commit 15ad0c4 pushed by sakulstra
3m 42s main
main
3m 42s
fix: move event from contract to interface (#134) certora-ATokenWithDelegation #24: Commit 15ad0c4 pushed by sakulstra
1m 35s main
main
1m 35s
fix: move event from contract to interface (#134) certora-basic #220: Commit 15ad0c4 pushed by sakulstra
2m 38s main
main
2m 38s
fix: move event from contract to interface Test #378: Pull request #134 opened by sakulstra
7m 15s bgd-labs:fix/stata-interface
bgd-labs:fix/stata-interface
7m 15s
fix: move event from contract to interface certora-basic #219: Pull request #134 opened by sakulstra
1s bgd-labs:fix/stata-interface
bgd-labs:fix/stata-interface
1s
fix: move event from contract to interface certora-stata #237: Pull request #134 opened by sakulstra
1s bgd-labs:fix/stata-interface
bgd-labs:fix/stata-interface
1s
fix: move event from contract to interface certora-ATokenWithDelegation #23: Pull request #134 opened by sakulstra
1s bgd-labs:fix/stata-interface
bgd-labs:fix/stata-interface
1s
PR Comment PR Comment #357: completed by sakulstra
29s
29s
Aave v3.5 protocol Test #377: Pull request #133 synchronize by sakulstra
6m 43s bgd-labs:v3.5.0
bgd-labs:v3.5.0
6m 43s
Aave v3.5 protocol certora-stata #236: Pull request #133 synchronize by sakulstra
1s bgd-labs:v3.5.0
bgd-labs:v3.5.0
1s
Aave v3.5 protocol certora-ATokenWithDelegation #22: Pull request #133 synchronize by sakulstra
1s bgd-labs:v3.5.0
bgd-labs:v3.5.0
1s
Aave v3.5 protocol certora-solvency #5: Pull request #133 synchronize by sakulstra
1s bgd-labs:v3.5.0
bgd-labs:v3.5.0
1s
Aave v3.5 protocol certora-math-calculations #5: Pull request #133 synchronize by sakulstra
1s bgd-labs:v3.5.0
bgd-labs:v3.5.0
1s
Aave v3.5 protocol certora-basic #218: Pull request #133 synchronize by sakulstra
1s bgd-labs:v3.5.0
bgd-labs:v3.5.0
1s
PR Comment PR Comment #356: completed by sakulstra
27s
27s
PR Comment PR Comment #355: completed by sakulstra
26s
26s
Aave v3.5 protocol Test #376: Pull request #133 synchronize by sakulstra
8m 23s bgd-labs:v3.5.0
bgd-labs:v3.5.0
8m 23s
Aave v3.5 protocol certora-basic #217: Pull request #133 synchronize by sakulstra
1s bgd-labs:v3.5.0
bgd-labs:v3.5.0
1s
Aave v3.5 protocol certora-math-calculations #4: Pull request #133 synchronize by sakulstra
1s bgd-labs:v3.5.0
bgd-labs:v3.5.0
1s
Aave v3.5 protocol certora-ATokenWithDelegation #21: Pull request #133 synchronize by sakulstra
2s bgd-labs:v3.5.0
bgd-labs:v3.5.0
2s
Aave v3.5 protocol certora-solvency #4: Pull request #133 synchronize by sakulstra
1s bgd-labs:v3.5.0
bgd-labs:v3.5.0
1s
Aave v3.5 protocol certora-stata #235: Pull request #133 synchronize by sakulstra
Skipped bgd-labs:v3.5.0
bgd-labs:v3.5.0
Skipped
Aave v3.5 protocol Test #375: Pull request #133 synchronize by sakulstra
4m 11s bgd-labs:v3.5.0
bgd-labs:v3.5.0
4m 11s
Aave v3.5 protocol certora-stata #234: Pull request #133 synchronize by sakulstra
1s bgd-labs:v3.5.0
bgd-labs:v3.5.0
1s
Aave v3.5 protocol certora-math-calculations #3: Pull request #133 synchronize by sakulstra
1s bgd-labs:v3.5.0
bgd-labs:v3.5.0
1s