Skip to content

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

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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