Skip to content

Actions: Certora/aave-v3-origin

Actions

certora-stata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-stata.yml
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Certora Review certora-stata #27: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:41 3m 31s certora
certora
September 23, 2024 09:41 3m 31s
Certora Review certora-stata #26: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:20 17m 35s certora
certora
September 23, 2024 09:20 17m 35s
Certora Review certora-stata #25: Pull request #7 synchronize by nisnislevi
September 23, 2024 07:11 19m 52s certora
certora
September 23, 2024 07:11 19m 52s
fix: Transfer excess back and reset allowance (#49) certora-stata #24: Commit 105baaf pushed by nisnislevi
September 19, 2024 12:50 19m 4s main
main
September 19, 2024 12:50 19m 4s
Certora certora-stata #23: Pull request #9 opened by MichaelMorami
September 17, 2024 09:33 1m 59s MichaelMorami:certora
MichaelMorami:certora
September 17, 2024 09:33 1m 59s
Certora Review certora-stata #22: Pull request #7 synchronize by MichaelMorami
September 15, 2024 15:44 21m 11s certora
certora
September 15, 2024 15:44 21m 11s
Certora Review certora-stata #21: Pull request #7 synchronize by MichaelMorami
September 15, 2024 15:18 9m 40s certora
certora
September 15, 2024 15:18 9m 40s
Certora Review certora-stata #20: Pull request #7 synchronize by MichaelMorami
September 11, 2024 20:03 59m 3s certora
certora
September 11, 2024 20:03 59m 3s
Certora Review certora-stata #19: Pull request #7 synchronize by MichaelMorami
September 11, 2024 14:57 21m 24s certora
certora
September 11, 2024 14:57 21m 24s
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 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-stata #16: Pull request #7 synchronize by MichaelMorami
September 10, 2024 15:55 29m 13s certora
certora
September 10, 2024 15:55 29m 13s
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
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
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 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
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
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 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
Certora Review certora-stata #7: Pull request #7 synchronize by MichaelMorami
September 8, 2024 21:43 5m 16s certora
certora
September 8, 2024 21:43 5m 16s
Certora Review certora-stata #6: Pull request #7 synchronize by MichaelMorami
September 8, 2024 21:37 11m 14s certora
certora
September 8, 2024 21:37 11m 14s
Certora Review certora-stata #5: Pull request #7 synchronize by MichaelMorami
September 8, 2024 21:13 1m 33s certora
certora
September 8, 2024 21:13 1m 33s
Certora Review certora-stata #4: Pull request #7 synchronize by MichaelMorami
September 8, 2024 17:45 1m 27s certora
certora
September 8, 2024 17:45 1m 27s