Skip to content

Actions: bgd-labs/aave-v3-origin

Actions

certora-stata

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: celo diffs certora-stata #79: Pull request #54 opened by brotherlymite
March 7, 2025 06:46 23m 20s chore/celo-diffs
chore/celo-diffs
March 7, 2025 06:46 23m 20s
feat: add lcov report (#108) certora-stata #78: Commit e8f6699 pushed by sakulstra
March 4, 2025 14:29 18m 29s main
main
March 4, 2025 14:29 18m 29s
test: test codecov certora-stata #77: Pull request #53 synchronize by sakulstra
March 4, 2025 09:34 14m 38s feat/test-ccov
feat/test-ccov
March 4, 2025 09:34 14m 38s
test: test codecov certora-stata #76: Pull request #53 synchronize by sakulstra
March 4, 2025 09:22 17m 8s feat/test-ccov
feat/test-ccov
March 4, 2025 09:22 17m 8s
test: test codecov certora-stata #75: Pull request #53 synchronize by sakulstra
March 4, 2025 09:11 7m 55s feat/test-ccov
feat/test-ccov
March 4, 2025 09:11 7m 55s
test: test codecov certora-stata #74: Pull request #53 synchronize by sakulstra
March 4, 2025 09:10 14m 30s feat/test-ccov
feat/test-ccov
March 4, 2025 09:10 14m 30s
test: test codecov certora-stata #73: Pull request #53 opened by sakulstra
March 4, 2025 08:15 23m 27s feat/test-ccov
feat/test-ccov
March 4, 2025 08:15 23m 27s
fix: vm.assume for user address for the Pool Deficit tests & update s… certora-stata #72: Commit 4602f2b pushed by sakulstra
February 24, 2025 16:28 23m 59s main
main
February 24, 2025 16:28 23m 59s
Fixed vm.assume for user address for the Pool Deficit tests certora-stata #71: Pull request #52 opened by TepNik
February 24, 2025 15:01 20m 38s test/fixed-pool-deficit-assume-user
test/fixed-pool-deficit-assume-user
February 24, 2025 15:01 20m 38s
Merge pull request #87 from bgd-labs/v3.3.0 certora-stata #70: Commit 5431379 pushed by brotherlymite
February 24, 2025 10:57 17m 11s main
main
February 24, 2025 10:57 17m 11s
chore: bump solidity utils (#102) certora-stata #69: Commit 083bd38 pushed by brotherlymite
February 17, 2025 07:57 20m 50s main
main
February 17, 2025 07:57 20m 50s
chore: sonic diffs certora-stata #68: Pull request #51 opened by brotherlymite
February 15, 2025 17:18 21m 5s chore/sonic-diffs
chore/sonic-diffs
February 15, 2025 17:18 21m 5s
fix: initialize funds admin on collector (#100) certora-stata #67: Commit 3203156 pushed by brotherlymite
February 12, 2025 11:49 21m 34s main
main
February 12, 2025 11:49 21m 34s
feat: Collector Upgrade. (#82) (#84) certora-stata #66: Commit 551ad6c pushed by sakulstra
February 10, 2025 17:40 19m 45s main
main
February 10, 2025 17:40 19m 45s
chore: update dependencies (#98) certora-stata #65: Commit ae2d19f pushed by sakulstra
January 30, 2025 14:06 22m 37s main
main
January 30, 2025 14:06 22m 37s
feat: upgrade factory (#95) certora-stata #64: Commit 7d706f0 pushed by sakulstra
January 30, 2025 08:35 15m 42s main
main
January 30, 2025 08:35 15m 42s
chore: linea diffs certora-stata #63: Pull request #48 synchronize by brotherlymite
January 17, 2025 11:17 21m 19s chore/linea-diffs
chore/linea-diffs
January 17, 2025 11:17 21m 19s
chore: linea diffs certora-stata #62: Pull request #48 synchronize by brotherlymite
January 17, 2025 11:15 22m 12s chore/linea-diffs
chore/linea-diffs
January 17, 2025 11:15 22m 12s
chore: linea diffs certora-stata #61: Pull request #48 opened by brotherlymite
January 17, 2025 11:13 18m 48s chore/linea-diffs
chore/linea-diffs
January 17, 2025 11:13 18m 48s
fix: add _initGuard for proxy (#93) certora-stata #60: Commit 1dab6e5 pushed by brotherlymite
January 7, 2025 12:40 16m 31s main
main
January 7, 2025 12:40 16m 31s
test: add more gas snapshots for relevant contracts (#92) certora-stata #59: Commit 50a3206 pushed by sakulstra
December 16, 2024 10:28 20m 53s main
main
December 16, 2024 10:28 20m 53s
feat: add initial gas snapshots (#91) certora-stata #58: Commit 3f70474 pushed by sakulstra
December 13, 2024 09:11 28m 57s main
main
December 13, 2024 09:11 28m 57s
docs: add mixbytes stata token v2 audit (#85) certora-stata #57: Commit 9a6add7 pushed by sakulstra
December 10, 2024 08:14 18m 54s main
main
December 10, 2024 08:14 18m 54s
cleanup: remove obsolete remappings (#81) certora-stata #56: Commit be37b99 pushed by sakulstra
November 27, 2024 13:50 25m 27s main
main
November 27, 2024 13:50 25m 27s
fix: update aave-cli to resolve eMode bug in json report (#79) certora-stata #55: Commit 58e60a2 pushed by sakulstra
November 21, 2024 22:12 21m 20s main
main
November 21, 2024 22:12 21m 20s