Skip to content

Actions: Certora/aave-v3-origin

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Certora Review
Test #52: Pull request #7 synchronize by nisnislevi
October 6, 2024 06:13 4m 47s certora
October 6, 2024 06:13 4m 47s
Certora Review
Test #51: Pull request #7 synchronize by nisnislevi
September 30, 2024 19:58 4m 38s certora
September 30, 2024 19:58 4m 38s
Certora Review
Test #50: Pull request #7 synchronize by nisnislevi
September 23, 2024 18:37 4m 39s certora
September 23, 2024 18:37 4m 39s
Certora Review
Test #49: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:48 4m 51s certora
September 23, 2024 09:48 4m 51s
Certora Review
Test #48: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:46 1m 30s certora
September 23, 2024 09:46 1m 30s
Certora Review
Test #47: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:44 2m 7s certora
September 23, 2024 09:44 2m 7s
Certora Review
Test #46: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:41 3m 15s certora
September 23, 2024 09:41 3m 15s
Certora Review
Test #45: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:20 4m 38s certora
September 23, 2024 09:20 4m 38s
Certora Review
Test #44: Pull request #7 synchronize by nisnislevi
September 23, 2024 07:11 4m 37s certora
September 23, 2024 07:11 4m 37s
fix: Transfer excess back and reset allowance (#49)
Test #43: Commit 105baaf pushed by nisnislevi
September 19, 2024 12:50 2m 55s main
September 19, 2024 12:50 2m 55s
Certora
Test #42: Pull request #9 synchronize by MichaelMorami
September 17, 2024 12:03 57s MichaelMorami:certora
September 17, 2024 12:03 57s
Certora
Test #41: Pull request #9 synchronize by MichaelMorami
September 17, 2024 11:48 3m 5s MichaelMorami:certora
September 17, 2024 11:48 3m 5s
Certora
Test #40: Pull request #9 opened by MichaelMorami
September 17, 2024 09:33 26s MichaelMorami:certora
September 17, 2024 09:33 26s
Certora Review
Test #39: Pull request #7 synchronize by MichaelMorami
September 15, 2024 15:44 3m 20s certora
September 15, 2024 15:44 3m 20s
Certora Review
Test #38: Pull request #7 synchronize by MichaelMorami
September 15, 2024 15:18 3m 5s certora
September 15, 2024 15:18 3m 5s
Certora Review
Test #37: Pull request #7 synchronize by MichaelMorami
September 11, 2024 20:03 2m 57s certora
September 11, 2024 20:03 2m 57s
Certora Review
Test #36: Pull request #7 synchronize by MichaelMorami
September 11, 2024 14:57 3m 17s certora
September 11, 2024 14:57 3m 17s
Certora Review
Test #35: Pull request #7 synchronize by MichaelMorami
September 10, 2024 16:53 2m 52s certora
September 10, 2024 16:53 2m 52s
Certora Review
Test #34: Pull request #7 synchronize by MichaelMorami
September 10, 2024 16:34 24s certora
September 10, 2024 16:34 24s
Certora Review
Test #33: Pull request #7 synchronize by MichaelMorami
September 10, 2024 15:55 1m 53s certora
September 10, 2024 15:55 1m 53s
Certora Review
Test #32: Pull request #7 synchronize by MichaelMorami
September 10, 2024 15:40 3m 16s certora
September 10, 2024 15:40 3m 16s
Certora Review
Test #31: Pull request #7 synchronize by MichaelMorami
September 9, 2024 07:39 3m 14s certora
September 9, 2024 07:39 3m 14s
Certora squashed
Test #30: Pull request #8 opened by MichaelMorami
September 9, 2024 07:24 2m 28s certora-squashed
September 9, 2024 07:24 2m 28s
Certora Review
Test #29: Pull request #7 synchronize by MichaelMorami
September 8, 2024 22:10 1m 3s certora
September 8, 2024 22:10 1m 3s
Certora Review
Test #28: Pull request #7 synchronize by MichaelMorami
September 8, 2024 21:47 2m 54s certora
September 8, 2024 21:47 2m 54s