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

Certora Review certora #35: Pull request #7 synchronize by MichaelMorami
September 10, 2024 15:55 19m 49s certora
certora
September 10, 2024 15:55 19m 49s
Certora Review certora-stata #16: Pull request #7 synchronize by MichaelMorami
September 10, 2024 15:55 29m 13s certora
certora
September 10, 2024 15:55 29m 13s
PR Comment PR Comment #32: completed by MichaelMorami
September 10, 2024 15:44 19s
September 10, 2024 15:44 19s
Certora Review certora-stata #15: Pull request #7 synchronize by MichaelMorami
September 10, 2024 15:40 16m 32s certora
certora
September 10, 2024 15:40 16m 32s
Certora Review certora #34: Pull request #7 synchronize by MichaelMorami
September 10, 2024 15:40 14m 45s certora
certora
September 10, 2024 15:40 14m 45s
Certora Review Test #32: Pull request #7 synchronize by MichaelMorami
September 10, 2024 15:40 3m 16s certora
certora
September 10, 2024 15:40 3m 16s
adapting spec to permissionless rescue certora-stata #14: Commit 4194144 pushed by MichaelMorami
September 10, 2024 15:32 Failure certora-stata-adaptation
certora-stata-adaptation
September 10, 2024 15:32 Failure
PR Comment PR Comment #31: completed by MichaelMorami
September 9, 2024 07:42 17s
September 9, 2024 07:42 17s
Certora Review Test #31: Pull request #7 synchronize by MichaelMorami
September 9, 2024 07:39 3m 14s certora
certora
September 9, 2024 07:39 3m 14s
Certora Review certora-stata #13: Pull request #7 synchronize by MichaelMorami
September 9, 2024 07:39 19m 59s certora
certora
September 9, 2024 07:39 19m 59s
Certora Review certora #33: Pull request #7 synchronize by MichaelMorami
September 9, 2024 07:39 26m 4s certora
certora
September 9, 2024 07:39 26m 4s
PR Comment PR Comment #30: completed by MichaelMorami
September 9, 2024 07:27 1s
September 9, 2024 07:27 1s
Certora squashed certora-stata #12: Pull request #8 opened by MichaelMorami
September 9, 2024 07:24 24m 9s certora-squashed
certora-squashed
September 9, 2024 07:24 24m 9s
Certora squashed certora #32: Pull request #8 opened by MichaelMorami
September 9, 2024 07:24 2m 31s certora-squashed
certora-squashed
September 9, 2024 07:24 2m 31s
Certora squashed Test #30: Pull request #8 opened by MichaelMorami
September 9, 2024 07:24 2m 28s certora-squashed
certora-squashed
September 9, 2024 07:24 2m 28s
final cleaning of FV specs certora-stata #11: Commit 64a0ffd pushed by MichaelMorami
September 9, 2024 07:24 Failure munging
munging
September 9, 2024 07:24 Failure
final cleaning of FV specs certora-stata #10: Commit 64a0ffd pushed by MichaelMorami
September 9, 2024 07:23 Failure munging
munging
September 9, 2024 07:23 Failure
PR Comment PR Comment #29: completed by MichaelMorami
September 8, 2024 22:12 2s
September 8, 2024 22:12 2s
Certora Review certora #31: Pull request #7 synchronize by MichaelMorami
September 8, 2024 22:10 1m 11s certora
certora
September 8, 2024 22:10 1m 11s
Certora Review certora-stata #9: Pull request #7 synchronize by MichaelMorami
September 8, 2024 22:10 20m 27s certora
certora
September 8, 2024 22:10 20m 27s
Certora Review Test #29: Pull request #7 synchronize by MichaelMorami
September 8, 2024 22:10 1m 3s certora
certora
September 8, 2024 22:10 1m 3s
PR Comment PR Comment #28: completed by MichaelMorami
September 8, 2024 21:50 18s
September 8, 2024 21:50 18s
Certora Review Test #28: Pull request #7 synchronize by MichaelMorami
September 8, 2024 21:47 2m 54s certora
certora
September 8, 2024 21:47 2m 54s
Certora Review certora #30: Pull request #7 synchronize by MichaelMorami
September 8, 2024 21:47 23m 26s certora
certora
September 8, 2024 21:47 23m 26s
Certora Review certora-stata #8: Pull request #7 synchronize by MichaelMorami
September 8, 2024 21:47 20m 32s certora
certora
September 8, 2024 21:47 20m 32s