Skip to content

Actions: Certora/aave-v3-origin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
278 workflow runs
278 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Certora Review certora-stata #18: Pull request #7 synchronize by MichaelMorami
September 10, 2024 16:53 21m 5s certora
certora
September 10, 2024 16:53 21m 5s
Certora Review Test #35: Pull request #7 synchronize by MichaelMorami
September 10, 2024 16:53 2m 52s certora
certora
September 10, 2024 16:53 2m 52s
PR Comment PR Comment #34: completed by MichaelMorami
September 10, 2024 16:34 2s
September 10, 2024 16:34 2s
Certora Review Test #34: Pull request #7 synchronize by MichaelMorami
September 10, 2024 16:34 24s certora
certora
September 10, 2024 16:34 24s
Certora Review certora-stata #17: Pull request #7 synchronize by MichaelMorami
September 10, 2024 16:34 20m 18s certora
certora
September 10, 2024 16:34 20m 18s
Certora Review certora #36: Pull request #7 synchronize by MichaelMorami
September 10, 2024 16:34 18m 59s certora
certora
September 10, 2024 16:34 18m 59s
PR Comment PR Comment #33: completed by MichaelMorami
September 10, 2024 15:57 2s
September 10, 2024 15:57 2s
Certora Review Test #33: Pull request #7 synchronize by MichaelMorami
September 10, 2024 15:55 1m 53s certora
certora
September 10, 2024 15:55 1m 53s
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