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

V3.3.0 certora-stata #106: Pull request #87 synchronize by sakulstra
January 2, 2025 10:11 3s bgd-labs:v3.3.0
bgd-labs:v3.3.0
January 2, 2025 10:11 3s
feat: Collector revision-6 Upgrade. (#82) certora-stata #105: Pull request #84 synchronize by brotherlymite
December 23, 2024 16:56 27m 22s kptk/new-collector
kptk/new-collector
December 23, 2024 16:56 27m 22s
V3.3.0 certora-stata #104: Pull request #87 synchronize by sakulstra
December 17, 2024 13:48 3s bgd-labs:v3.3.0
bgd-labs:v3.3.0
December 17, 2024 13:48 3s
fix: add _initGuard for proxy (#93) certora-stata #103: Commit 1dab6e5 pushed by sakulstra
December 16, 2024 14:31 21m 32s main
main
December 16, 2024 14:31 21m 32s
fix: add _initGuard for collector certora-stata #102: Pull request #93 opened by brotherlymite
December 16, 2024 14:27 3s bgd-labs:fix/collector
bgd-labs:fix/collector
December 16, 2024 14:27 3s
V3.3.0 certora-stata #101: Pull request #87 synchronize by sakulstra
December 16, 2024 10:30 2s bgd-labs:v3.3.0
bgd-labs:v3.3.0
December 16, 2024 10:30 2s
test: add more gas snapshots for relevant contracts (#92) certora-stata #100: Commit 50a3206 pushed by sakulstra
December 16, 2024 10:27 23m 41s main
main
December 16, 2024 10:27 23m 41s
test: add more gas snapshots for relevant contracts certora-stata #99: Pull request #92 synchronize by sakulstra
December 16, 2024 10:09 2s bgd-labs:feat/more-gas-snapshots
bgd-labs:feat/more-gas-snapshots
December 16, 2024 10:09 2s
test: add more gas snapshots for relevant contracts certora-stata #98: Pull request #92 synchronize by sakulstra
December 16, 2024 10:00 3s bgd-labs:feat/more-gas-snapshots
bgd-labs:feat/more-gas-snapshots
December 16, 2024 10:00 3s
test: add more gas snapshots for relevant contracts certora-stata #97: Pull request #92 synchronize by sakulstra
December 14, 2024 22:46 2s bgd-labs:feat/more-gas-snapshots
bgd-labs:feat/more-gas-snapshots
December 14, 2024 22:46 2s
test: add more gas snapshots for relevant contracts certora-stata #96: Pull request #92 opened by sakulstra
December 14, 2024 22:45 2s bgd-labs:feat/more-gas-snapshots
bgd-labs:feat/more-gas-snapshots
December 14, 2024 22:45 2s
V3.3.0 certora-stata #95: Pull request #87 synchronize by sakulstra
December 13, 2024 09:18 2s bgd-labs:v3.3.0
bgd-labs:v3.3.0
December 13, 2024 09:18 2s
feat: add initial gas snapshots (#91) certora-stata #94: Commit 3f70474 pushed by sakulstra
December 13, 2024 09:09 26m 44s main
main
December 13, 2024 09:09 26m 44s
feat: add initial gas snapshots certora-stata #93: Pull request #91 synchronize by sakulstra
December 13, 2024 08:41 2s bgd-labs:feat/gas-snapshots
bgd-labs:feat/gas-snapshots
December 13, 2024 08:41 2s
feat: add initial gas snapshots certora-stata #92: Pull request #91 synchronize by sakulstra
December 13, 2024 08:32 2s bgd-labs:feat/gas-snapshots
bgd-labs:feat/gas-snapshots
December 13, 2024 08:32 2s
feat: add initial gas snapshots certora-stata #91: Pull request #91 opened by sakulstra
December 12, 2024 23:32 2s bgd-labs:feat/gas-snapshots
bgd-labs:feat/gas-snapshots
December 12, 2024 23:32 2s
V3.3.0 certora-stata #90: Pull request #87 synchronize by sakulstra
December 11, 2024 15:20 3s bgd-labs:v3.3.0
bgd-labs:v3.3.0
December 11, 2024 15:20 3s
V3.3.0 certora-stata #89: Pull request #87 synchronize by sakulstra
December 11, 2024 12:14 3s bgd-labs:v3.3.0
bgd-labs:v3.3.0
December 11, 2024 12:14 3s
V3.3.0 certora-stata #88: Pull request #87 synchronize by sakulstra
December 11, 2024 09:52 3s bgd-labs:v3.3.0
bgd-labs:v3.3.0
December 11, 2024 09:52 3s
V3.3.0 certora-stata #87: Pull request #87 synchronize by sakulstra
December 10, 2024 21:06 3s bgd-labs:v3.3.0
bgd-labs:v3.3.0
December 10, 2024 21:06 3s
V3.3.0 certora-stata #86: Pull request #87 synchronize by sakulstra
December 10, 2024 21:04 2s bgd-labs:v3.3.0
bgd-labs:v3.3.0
December 10, 2024 21:04 2s
V3.3.0 certora-stata #84: Pull request #87 synchronize by sakulstra
December 10, 2024 08:18 3s bgd-labs:v3.3.0
bgd-labs:v3.3.0
December 10, 2024 08:18 3s
docs: add mixbytes stata token v2 audit (#85) certora-stata #83: Commit 9a6add7 pushed by sakulstra
December 9, 2024 13:21 26m 40s main
main
December 9, 2024 13:21 26m 40s
Merge pull request #86 from bgd-labs/feat/solidity-utils-update certora-stata #82: Commit 18a18db pushed by sendra
December 9, 2024 12:34 22m 23s main
main
December 9, 2024 12:34 22m 23s
feat: update solidity utils lib with linea updates certora-stata #81: Pull request #86 synchronize by sendra
December 9, 2024 12:04 2s bgd-labs:feat/solidity-utils-update
bgd-labs:feat/solidity-utils-update
December 9, 2024 12:04 2s