Skip to content

Actions: Certora/aave-v3-origin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
195 workflow runs
195 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR Comment PR Comment #52: completed by nisnislevi
October 6, 2024 06:17 12s
October 6, 2024 06:17 12s
Certora Review Test #52: Pull request #7 synchronize by nisnislevi
October 6, 2024 06:13 4m 47s certora
certora
October 6, 2024 06:13 4m 47s
Certora Review certora-stata #33: Pull request #7 synchronize by nisnislevi
October 6, 2024 06:13 20m 8s certora
certora
October 6, 2024 06:13 20m 8s
Certora Review certora #6: Pull request #7 synchronize by nisnislevi
October 6, 2024 06:13 26m 36s certora
certora
October 6, 2024 06:13 26m 36s
PR Comment PR Comment #51: completed by nisnislevi
September 30, 2024 20:03 15s
September 30, 2024 20:03 15s
Certora Review certora-stata #32: Pull request #7 synchronize by nisnislevi
September 30, 2024 19:58 20m 53s certora
certora
September 30, 2024 19:58 20m 53s
Certora Review certora #5: Pull request #7 synchronize by nisnislevi
September 30, 2024 19:58 21m 41s certora
certora
September 30, 2024 19:58 21m 41s
Certora Review Test #51: Pull request #7 synchronize by nisnislevi
September 30, 2024 19:58 4m 38s certora
certora
September 30, 2024 19:58 4m 38s
PR Comment PR Comment #50: completed by nisnislevi
September 23, 2024 18:42 14s
September 23, 2024 18:42 14s
Certora Review Test #50: Pull request #7 synchronize by nisnislevi
September 23, 2024 18:37 4m 39s certora
certora
September 23, 2024 18:37 4m 39s
Certora Review certora-stata #31: Pull request #7 synchronize by nisnislevi
September 23, 2024 18:37 23m 11s certora
certora
September 23, 2024 18:37 23m 11s
Certora Review certora #4: Pull request #7 synchronize by nisnislevi
September 23, 2024 18:37 11m 12s certora
certora
September 23, 2024 18:37 11m 12s
PR Comment PR Comment #49: completed by nisnislevi
September 23, 2024 09:53 17s
September 23, 2024 09:53 17s
Certora Review certora-stata #30: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:48 19m 34s certora
certora
September 23, 2024 09:48 19m 34s
Certora Review certora #3: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:48 35m 26s certora
certora
September 23, 2024 09:48 35m 26s
Certora Review Test #49: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:48 4m 51s certora
certora
September 23, 2024 09:48 4m 51s
PR Comment PR Comment #48: completed by nisnislevi
September 23, 2024 09:48 2s
September 23, 2024 09:48 2s
PR Comment PR Comment #47: completed by nisnislevi
September 23, 2024 09:46 2s
September 23, 2024 09:46 2s
Certora Review certora #2: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:46 38s certora
certora
September 23, 2024 09:46 38s
Certora Review certora-stata #29: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:46 1m 29s certora
certora
September 23, 2024 09:46 1m 29s
Certora Review Test #48: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:46 1m 30s certora
certora
September 23, 2024 09:46 1m 30s
PR Comment PR Comment #46: completed by nisnislevi
September 23, 2024 09:45 1s
September 23, 2024 09:45 1s
Certora Review certora #1: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:44 36s certora
certora
September 23, 2024 09:44 36s
Certora Review Test #47: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:44 2m 7s certora
certora
September 23, 2024 09:44 2m 7s
Certora Review certora-stata #28: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:44 22m 23s certora
certora
September 23, 2024 09:44 22m 23s