Skip to content

Actions: aave-dao/aave-v3-origin

Actions

certora-stata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-stata.yml
98 workflow runs
98 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: update license on instances (#38) certora-stata #25: Commit ec33f4f pushed by sakulstra
October 8, 2024 13:16 25m 15s main
main
October 8, 2024 13:16 25m 15s
perf: dont use reserve data extended (#57) certora-stata #24: Commit 3aad8ca pushed by sakulstra
October 1, 2024 14:42 22m 25s main
main
October 1, 2024 14:42 22m 25s
docs: add audits, diffs and docs (#35) certora-stata #23: Commit 7c6023e pushed by sakulstra
October 1, 2024 14:36 11m 23s main
main
October 1, 2024 14:36 11m 23s
3.2 diff certora-stata #22: Pull request #60 synchronize by sakulstra
October 1, 2024 14:22 1m 55s bgd-labs:main
bgd-labs:main
October 1, 2024 14:22 1m 55s
3.2 diff certora-stata #21: Pull request #60 synchronize by sakulstra
October 1, 2024 06:59 2m 7s bgd-labs:main
bgd-labs:main
October 1, 2024 06:59 2m 7s
fix: mixbytes certora-stata #19: Pull request #61 opened by sakulstra
September 30, 2024 21:12 2m 4s bgd-labs:fix/mixbytes
bgd-labs:fix/mixbytes
September 30, 2024 21:12 2m 4s
3.2 diff certora-stata #18: Pull request #60 opened by sakulstra
September 30, 2024 08:38 2m 7s bgd-labs:main
bgd-labs:main
September 30, 2024 08:38 2m 7s
V3.2.0 certora-stata #16: Pull request #59 synchronize by sakulstra
September 26, 2024 09:25 1m 34s bgd-labs:v3.2.0
bgd-labs:v3.2.0
September 26, 2024 09:25 1m 34s
perf: dont use reserve data extended (#57) certora-stata #15: Commit 3aad8ca pushed by sakulstra
September 19, 2024 14:30 22m 42s main
main
September 19, 2024 14:30 22m 42s
V3.2.0 certora-stata #14: Pull request #59 opened by sakulstra
September 19, 2024 12:12 1m 40s bgd-labs:v3.2.0
bgd-labs:v3.2.0
September 19, 2024 12:12 1m 40s
refactor: return address certora-stata #13: Pull request #58 opened by sakulstra
September 19, 2024 10:09 1m 56s bgd-labs:refactor/return-address
bgd-labs:refactor/return-address
September 19, 2024 10:09 1m 56s
perf: dont use reserve data extended certora-stata #12: Pull request #57 opened by sakulstra
September 19, 2024 09:56 1m 48s bgd-labs:fix/dont-use-reserve-data-extended
bgd-labs:fix/dont-use-reserve-data-extended
September 19, 2024 09:56 1m 48s
fix: Transfer excess back and reset allowance (#49) certora-stata #11: Commit 105baaf pushed by sakulstra
September 17, 2024 07:23 27m 54s main
main
September 17, 2024 07:23 27m 54s
Adaptation of Repay with Collateral contract for Aave V2 certora-stata #10: Pull request #55 synchronize by miguelmtzinf
September 16, 2024 16:36 2m 19s aave:fix/paraswap-repay-v2
aave:fix/paraswap-repay-v2
September 16, 2024 16:36 2m 19s
Adaptation of Repay with Collateral contract for Aave V2 certora-stata #9: Pull request #55 opened by miguelmtzinf
September 16, 2024 16:35 2m 42s aave:fix/paraswap-repay-v2
aave:fix/paraswap-repay-v2
September 16, 2024 16:35 2m 42s
Merge pull request #54 from bgd-labs/feat/reintroduce-permissions certora-stata #8: Commit 13caab8 pushed by sakulstra
September 16, 2024 14:12 26m 50s main
main
September 16, 2024 14:12 26m 50s
feat: reintroduce permissions on rescuable certora-stata #7: Pull request #54 opened by sakulstra
September 16, 2024 08:40 1m 54s bgd-labs:feat/reintroduce-permissions
bgd-labs:feat/reintroduce-permissions
September 16, 2024 08:40 1m 54s
Merge pull request #53 from aave-dao/stata-token-v2 certora-stata #6: Commit 0c419cd pushed by sakulstra
September 12, 2024 09:20 22m 34s main
main
September 12, 2024 09:20 22m 34s
feat: stata token v2 (#52) certora-stata #5: Pull request #53 synchronize by sakulstra
September 12, 2024 07:53 54m 15s stata-token-v2
stata-token-v2
September 12, 2024 07:53 54m 15s
feat: stata token v2 (#52) certora-stata #4: Pull request #53 synchronize by sakulstra
September 11, 2024 21:35 54m 16s stata-token-v2
stata-token-v2
September 11, 2024 21:35 54m 16s
feat: stata token v2 (#52) certora-stata #3: Pull request #53 synchronize by sakulstra
September 11, 2024 13:18 59m 30s stata-token-v2
stata-token-v2
September 11, 2024 13:18 59m 30s
feat: stata token v2 (#52) certora-stata #2: Pull request #53 opened by sakulstra
September 11, 2024 12:40 59m 14s stata-token-v2
stata-token-v2
September 11, 2024 12:40 59m 14s
feat: stata token v2 certora-stata #1: Pull request #52 opened by sakulstra
September 11, 2024 06:59 1m 53s bgd-labs:project-a
bgd-labs:project-a
September 11, 2024 06:59 1m 53s