Skip to content

Actions: aave-dao/aave-v3-risk-stewards

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add zksync (#24) certora #57: Commit 947d6be pushed by brotherlymite
December 10, 2024 16:52 11m 40s main
main
December 10, 2024 16:52 11m 40s
feat: add zksync certora #56: Pull request #24 synchronize by brotherlymite
December 10, 2024 12:00 2m 27s bgd-labs:feat/zksync
bgd-labs:feat/zksync
December 10, 2024 12:00 2m 27s
feat: add zksync certora #55: Pull request #24 synchronize by brotherlymite
December 10, 2024 11:57 1m 35s bgd-labs:feat/zksync
bgd-labs:feat/zksync
December 10, 2024 11:57 1m 35s
✨ Caps update timelock error skip flag (#22) certora #54: Commit 0731cd5 pushed by brotherlymite
December 9, 2024 17:30 6m 5s main
main
December 9, 2024 17:30 6m 5s
✨ Caps update timelock error skip flag certora #53: Pull request #22 synchronize by MartinGbz
December 9, 2024 17:29 1m 51s AaveChan:feat/skip-timelock-flag
AaveChan:feat/skip-timelock-flag
December 9, 2024 17:29 1m 51s
✨ add zksync network certora #52: Pull request #23 opened by MartinGbz
December 6, 2024 11:30 1m 39s AaveChan:feat/add-zksync-pool
AaveChan:feat/add-zksync-pool
December 6, 2024 11:30 1m 39s
✨ Caps update timelock error skip flag certora #51: Pull request #22 synchronize by MartinGbz
December 6, 2024 10:41 2m 35s AaveChan:feat/skip-timelock-flag
AaveChan:feat/skip-timelock-flag
December 6, 2024 10:41 2m 35s
✨ Caps update timelock error skip flag certora #50: Pull request #22 synchronize by MartinGbz
December 3, 2024 17:13 2m 55s AaveChan:feat/skip-timelock-flag
AaveChan:feat/skip-timelock-flag
December 3, 2024 17:13 2m 55s
✨ Caps update timelock error skip flag certora #49: Pull request #22 opened by MartinGbz
December 3, 2024 17:11 1m 56s AaveChan:feat/skip-timelock-flag
AaveChan:feat/skip-timelock-flag
December 3, 2024 17:11 1m 56s
🐛 fix risk steward import issue (#21) certora #48: Commit a60518c pushed by brotherlymite
December 3, 2024 15:16 10m 17s main
main
December 3, 2024 15:16 10m 17s
🐛 fix risk steward import issue certora #47: Pull request #21 synchronize by MartinGbz
December 3, 2024 15:14 2m 38s AaveChan:fix/issue-base-chain-import
AaveChan:fix/issue-base-chain-import
December 3, 2024 15:14 2m 38s
🐛 fix risk steward import issue certora #46: Pull request #21 opened by MartinGbz
December 3, 2024 10:28 1m 43s AaveChan:fix/issue-base-chain-import
AaveChan:fix/issue-base-chain-import
December 3, 2024 10:28 1m 43s
feat: add timelock for updates using PermissionedPayloadsController certora #45: Pull request #20 opened by brotherlymite
November 30, 2024 13:51 1m 51s bgd-labs:fix/improve-scripts
bgd-labs:fix/improve-scripts
November 30, 2024 13:51 1m 51s
feat: flag for diff generation (#19) certora #44: Commit 3a4a6e9 pushed by brotherlymite
November 21, 2024 18:49 9m 9s main
main
November 21, 2024 18:49 9m 9s
feat: flag for diff generation certora #43: Pull request #19 synchronize by brotherlymite
November 21, 2024 18:46 1m 56s bgd-labs:fix/reduce-runtime
bgd-labs:fix/reduce-runtime
November 21, 2024 18:46 1m 56s
feat: flag for diff generation certora #42: Pull request #19 synchronize by brotherlymite
November 21, 2024 18:37 2m 6s bgd-labs:fix/reduce-runtime
bgd-labs:fix/reduce-runtime
November 21, 2024 18:37 2m 6s
feat: flag for diff generation certora #41: Pull request #19 synchronize by brotherlymite
November 21, 2024 18:19 1m 12s bgd-labs:fix/reduce-runtime
bgd-labs:fix/reduce-runtime
November 21, 2024 18:19 1m 12s
feat: flag for diff generation certora #40: Pull request #19 synchronize by brotherlymite
November 21, 2024 17:15 1m 28s bgd-labs:fix/reduce-runtime
bgd-labs:fix/reduce-runtime
November 21, 2024 17:15 1m 28s
feat: flag for diff generation certora #39: Pull request #19 synchronize by brotherlymite
November 21, 2024 17:01 1m 58s bgd-labs:fix/reduce-runtime
bgd-labs:fix/reduce-runtime
November 21, 2024 17:01 1m 58s
feat: flag for diff generation certora #38: Pull request #19 synchronize by brotherlymite
November 21, 2024 16:53 1m 14s bgd-labs:fix/reduce-runtime
bgd-labs:fix/reduce-runtime
November 21, 2024 16:53 1m 14s
feat: flag for diff generation certora #37: Pull request #19 synchronize by brotherlymite
November 21, 2024 16:41 1m 18s bgd-labs:fix/reduce-runtime
bgd-labs:fix/reduce-runtime
November 21, 2024 16:41 1m 18s
feat: flag for diff generation certora #36: Pull request #19 opened by brotherlymite
November 21, 2024 16:35 1m 35s bgd-labs:fix/reduce-runtime
bgd-labs:fix/reduce-runtime
November 21, 2024 16:35 1m 35s
🐛 fix caps update keep current (#18) certora #35: Commit b41348a pushed by brotherlymite
November 19, 2024 11:33 8m 52s main
main
November 19, 2024 11:33 8m 52s
chore: update writeup (#17) certora #33: Commit 2b773b8 pushed by brotherlymite
November 19, 2024 11:04 3m 47s main
main
November 19, 2024 11:04 3m 47s
chore: update writeup certora #32: Pull request #17 opened by brotherlymite
November 19, 2024 06:25 1m 16s bgd-labs:chore/update-writeup
bgd-labs:chore/update-writeup
November 19, 2024 06:25 1m 16s