Skip to content

Actions: bgd-labs/aave-v3-risk-stewards

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: linea script and use rpc env (#28) certora #12: Commit 264fae5 pushed by brotherlymite
January 29, 2025 08:10 8m 15s main
main
January 29, 2025 08:10 8m 15s
🐛 fix issue on RiskStewards contract name (#27) certora #11: Commit 72e78d7 pushed by brotherlymite
January 17, 2025 16:11 8m 50s main
main
January 17, 2025 16:11 8m 50s
feat: weETH cap reduce certora #10: Pull request #2 opened by brotherlymite
January 14, 2025 10:51 9m 1s feat/weETH
feat/weETH
January 14, 2025 10:51 9m 1s
⬆️ Update libs (#25) certora #9: Commit b0bc479 pushed by brotherlymite
January 12, 2025 11:11 4m 59s main
main
January 12, 2025 11:11 4m 59s
feat: add zksync (#24) certora #8: Commit 947d6be pushed by brotherlymite
December 11, 2024 07:18 9m 58s main
main
December 11, 2024 07:18 9m 58s
🐛 fix risk steward import issue (#21) certora #7: Commit a60518c pushed by brotherlymite
December 9, 2024 17:27 9m 25s main
main
December 9, 2024 17:27 9m 25s
feat: flag for diff generation (#19) certora #6: Commit 3a4a6e9 pushed by brotherlymite
November 26, 2024 11:22 5m 2s main
main
November 26, 2024 11:22 5m 2s
🐛 fix caps update keep current (#18) certora #5: Commit b41348a pushed by brotherlymite
November 20, 2024 06:04 7m 59s main
main
November 20, 2024 06:04 7m 59s
feat: stewards injector robot (#13) certora #4: Commit 650d51e pushed by brotherlymite
November 12, 2024 07:32 7m 39s main
main
November 12, 2024 07:32 7m 39s
Update README.md certora #3: Commit 3fd7b75 pushed by brotherlymite
September 26, 2024 10:08 3m 56s main
main
September 26, 2024 10:08 3m 56s
feat: add snapshot diffs and generator (#10) certora #2: Commit 959103b pushed by brotherlymite
September 20, 2024 13:11 9m 1s main
main
September 20, 2024 13:11 9m 1s
for PR (#7) (#8) certora #1: Commit 7b520b5 pushed by brotherlymite
September 20, 2024 07:24 7m 13s main
main
September 20, 2024 07:24 7m 13s