Skip to content

Actions: Certora/aave-v3-horizon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Certora feat/liq data provider script Test #12: Pull request #6 reopened by nisnislevi
6m 25s certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
6m 25s
Certora feat/liq data provider script certora-stata #12: Pull request #6 reopened by nisnislevi
3m 52s certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
3m 52s
Certora feat/liq data provider script certora-basic #12: Pull request #6 reopened by nisnislevi
3m 32s certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
3m 32s
Certora feat/liq data provider script Test #11: Pull request #6 synchronize by nisnislevi
26s certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
26s
Certora feat/liq data provider script certora-stata #11: Pull request #6 synchronize by nisnislevi
20s certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
20s
Certora feat/liq data provider script certora-basic #11: Pull request #6 synchronize by nisnislevi
15s certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
15s
Certora feat/liq data provider script Test #10: Pull request #6 synchronize by nisnislevi
2m 59s certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
2m 59s
Certora feat/liq data provider script certora-stata #10: Pull request #6 synchronize by nisnislevi
3m 12s certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
3m 12s
touch certora-basic.yml 2 certora-basic #10: Commit bbc9575 pushed by nisnislevi
Failure certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
Failure
Certora feat/liq data provider script Test #9: Pull request #6 synchronize by nisnislevi
1m 21s certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
1m 21s
Certora feat/liq data provider script certora-stata #9: Pull request #6 synchronize by nisnislevi
1m 33s certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
1m 33s
touch certora-basic.yml certora-basic #9: Commit afa23c4 pushed by nisnislevi
Failure certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
Failure
Certora feat/liq data provider script Test #8: Pull request #6 opened by nisnislevi
6m 38s certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
6m 38s
Certora feat/liq data provider script certora-stata #8: Pull request #6 opened by nisnislevi
3m 50s certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
3m 50s
update .ymls certora-basic #8: Commit 9fd7436 pushed by nisnislevi
Failure certora-feat/liqDataProvider-script
certora-feat/liqDataProvider-script
Failure
Phase One Risk Param Updates (#25) Test #7: Commit 5d5d8c7 pushed by nisnislevi
6m 25s main
main
6m 25s
Phase One Risk Param Updates (#25) Release #2: Commit 5d5d8c7 pushed by nisnislevi
2s main
main
2s
Phase One Risk Param Updates (#25) certora-stata #7: Commit 5d5d8c7 pushed by nisnislevi
23s main
main
23s
Phase One Risk Param Updates (#25) certora-basic #7: Commit 5d5d8c7 pushed by nisnislevi
38s main
main
38s
PR Comment PR Comment #6: completed by nisnislevi
25s
25s
Certora new Test #6: Pull request #5 opened by nisnislevi
10m 44s certora-new
certora-new
10m 44s
Certora new certora-basic #6: Pull request #5 opened by nisnislevi
3m 56s certora-new
certora-new
3m 56s
Certora new certora-stata #6: Pull request #5 opened by nisnislevi
4m 6s certora-new
certora-new
4m 6s
PR Comment PR Comment #5: completed by nisnislevi
29s
29s
feat: Add implementation changes for Horizon Aave Instance (#5) Test #5: Commit 04419e2 pushed by nisnislevi
6m 29s main
main
6m 29s