Skip to content

Actions: bgd-labs/aave-v3-origin

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

perf: dont use reserve data extended (#57) certora #55: Commit 3aad8ca pushed by brotherlymite
September 23, 2024 06:52 29m 35s main
main
September 23, 2024 06:52 29m 35s
fix: Transfer excess back and reset allowance (#49) certora #54: Commit 105baaf pushed by sakulstra
September 19, 2024 12:02 29m 10s main
main
September 19, 2024 12:02 29m 10s
refactor: reintroduce permissions certora #53: Pull request #24 synchronize by sakulstra
September 16, 2024 08:39 29m 12s feat/reintroduce-permissions
feat/reintroduce-permissions
September 16, 2024 08:39 29m 12s
refactor: reintroduce permissions certora #52: Pull request #24 opened by sakulstra
September 12, 2024 15:12 29m 37s feat/reintroduce-permissions
feat/reintroduce-permissions
September 12, 2024 15:12 29m 37s
Merge pull request #53 from aave-dao/stata-token-v2 certora #51: Commit 0c419cd pushed by sakulstra
September 12, 2024 09:21 30m 19s main
main
September 12, 2024 09:21 30m 19s
feat: stataToken v2 certora #50: Pull request #2 synchronize by sakulstra
September 11, 2024 21:33 31m 26s project-a
project-a
September 11, 2024 21:33 31m 26s
feat: stataToken v2 certora #49: Pull request #2 synchronize by sakulstra
September 11, 2024 06:45 29m 37s project-a
project-a
September 11, 2024 06:45 29m 37s
diffs: zksync certora #48: Pull request #22 opened by brotherlymite
September 11, 2024 06:40 29m 47s diffs/zksync
diffs/zksync
September 11, 2024 06:40 29m 47s
feat: stataToken v2 certora #47: Pull request #2 synchronize by sakulstra
September 11, 2024 06:40 4m 51s project-a
project-a
September 11, 2024 06:40 4m 51s
feat: stataToken v2 certora #46: Pull request #2 synchronize by sakulstra
September 11, 2024 06:39 1m 51s project-a
project-a
September 11, 2024 06:39 1m 51s
feat: stataToken v2 certora #45: Pull request #2 synchronize by sakulstra
September 10, 2024 09:07 30m 54s project-a
project-a
September 10, 2024 09:07 30m 54s
feat: stataToken v2 certora #44: Pull request #2 synchronize by sakulstra
September 9, 2024 16:54 28m 33s project-a
project-a
September 9, 2024 16:54 28m 33s
feat: stataToken v2 certora #43: Pull request #2 synchronize by sakulstra
September 6, 2024 08:47 30m 42s project-a
project-a
September 6, 2024 08:47 30m 42s
feat: stataToken v2 certora #42: Pull request #2 synchronize by sakulstra
September 5, 2024 14:58 29m 36s project-a
project-a
September 5, 2024 14:58 29m 36s
feat: stataToken v2 certora #41: Pull request #2 synchronize by sakulstra
September 5, 2024 14:30 27m 52s project-a
project-a
September 5, 2024 14:30 27m 52s
diffs: etherfi instance certora #40: Pull request #16 synchronize by brotherlymite
September 2, 2024 18:23 28m 10s diffs/etherfi
diffs/etherfi
September 2, 2024 18:23 28m 10s
diffs: etherfi instance certora #39: Pull request #16 synchronize by brotherlymite
September 2, 2024 18:17 6m 21s diffs/etherfi
diffs/etherfi
September 2, 2024 18:17 6m 21s
diffs: etherfi instance certora #38: Pull request #16 opened by brotherlymite
September 2, 2024 18:16 4m 38s diffs/etherfi
diffs/etherfi
September 2, 2024 18:16 4m 38s
feat: Add RevenueSplitter, add RevenueSplitter config to batch deploy… certora #37: Commit 6948864 pushed by sakulstra
September 2, 2024 15:26 21m 4s main
main
September 2, 2024 15:26 21m 4s
feat: stataToken v2 certora #36: Pull request #2 synchronize by sakulstra
September 2, 2024 10:23 29m 37s project-a
project-a
September 2, 2024 10:23 29m 37s
feat: stataToken v2 certora #35: Pull request #2 synchronize by sakulstra
August 19, 2024 08:56 31m 8s project-a
project-a
August 19, 2024 08:56 31m 8s
feat: stataToken v2 certora #34: Pull request #2 synchronize by sakulstra
August 19, 2024 07:12 26m 22s project-a
project-a
August 19, 2024 07:12 26m 22s
feat: stataToken v2 certora #33: Pull request #2 synchronize by sakulstra
August 19, 2024 07:12 7s project-a
project-a
August 19, 2024 07:12 7s
feat: stataToken v2 certora #32: Pull request #2 synchronize by sakulstra
August 19, 2024 06:58 13m 26s project-a
project-a
August 19, 2024 06:58 13m 26s
feat: stataToken v2 certora #31: Pull request #2 synchronize by sakulstra
August 16, 2024 13:47 29m 34s project-a
project-a
August 16, 2024 13:47 29m 34s