Skip to content

Actions: Certora/aave-v3-origin

Actions

certora-stata

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Certora Review certora-stata #53: Pull request #7 synchronize by nisnislevi
December 12, 2024 15:45 30m 6s certora
certora
December 12, 2024 15:45 30m 6s
Certora Review certora-stata #52: Pull request #7 synchronize by nisnislevi
December 12, 2024 12:57 18m 28s certora
certora
December 12, 2024 12:57 18m 28s
Certora Review certora-stata #51: Pull request #7 synchronize by nisnislevi
December 12, 2024 12:54 3m 20s certora
certora
December 12, 2024 12:54 3m 20s
Certora Review certora-stata #50: Pull request #7 synchronize by nisnislevi
December 12, 2024 12:43 12m 18s certora
certora
December 12, 2024 12:43 12m 18s
Certora Review certora-stata #49: Pull request #7 synchronize by nisnislevi
December 12, 2024 10:35 15m 52s certora
certora
December 12, 2024 10:35 15m 52s
Certora Review certora-stata #48: Pull request #7 synchronize by nisnislevi
December 12, 2024 10:28 21m 11s certora
certora
December 12, 2024 10:28 21m 11s
docs: add mixbytes stata token v2 audit (#85) certora-stata #47: Commit 9a6add7 pushed by nisnislevi
December 12, 2024 10:05 27m 30s main
main
December 12, 2024 10:05 27m 30s
fix: fixing fv failures after code update & upgrade ci (#76) (#77) certora-stata #46: Commit 2edfb97 pushed by nisnislevi
November 20, 2024 16:16 25m 58s main
main
November 20, 2024 16:16 25m 58s
Certora Review certora-stata #45: Pull request #7 synchronize by nisnislevi
November 20, 2024 13:40 27m 16s certora
certora
November 20, 2024 13:40 27m 16s
Certora Review certora-stata #44: Pull request #7 synchronize by nisnislevi
November 20, 2024 12:59 9m 5s certora
certora
November 20, 2024 12:59 9m 5s
Certora Review certora-stata #43: Pull request #7 synchronize by MichaelMorami
November 18, 2024 23:26 18m 7s certora
certora
November 18, 2024 23:26 18m 7s
for PR certora-stata #42: Pull request #10 synchronize by MichaelMorami
November 18, 2024 23:26 17m 16s certora-squashed
certora-squashed
November 18, 2024 23:26 17m 16s
for PR certora-stata #41: Pull request #10 synchronize by MichaelMorami
November 18, 2024 19:14 19m 24s certora-squashed
certora-squashed
November 18, 2024 19:14 19m 24s
for PR certora-stata #40: Pull request #10 synchronize by MichaelMorami
November 18, 2024 18:07 21m 13s certora-squashed
certora-squashed
November 18, 2024 18:07 21m 13s
for PR certora-stata #39: Pull request #10 synchronize by MichaelMorami
November 18, 2024 18:02 1m 8s certora-squashed
certora-squashed
November 18, 2024 18:02 1m 8s
for PR certora-stata #38: Pull request #10 synchronize by MichaelMorami
November 18, 2024 18:00 1m 0s certora-squashed
certora-squashed
November 18, 2024 18:00 1m 0s
for PR certora-stata #37: Pull request #10 opened by nisnislevi
November 6, 2024 20:05 21m 45s certora-squashed
certora-squashed
November 6, 2024 20:05 21m 45s
Certora Review certora-stata #36: Pull request #7 synchronize by nisnislevi
November 6, 2024 20:00 6m 1s certora
certora
November 6, 2024 20:00 6m 1s
Certora Review certora-stata #35: Pull request #7 synchronize by nisnislevi
November 6, 2024 19:06 20m 7s certora
certora
November 6, 2024 19:06 20m 7s
feat: v3.2 pdp (protocol data provider) upgrade (#64) certora-stata #34: Commit 077c99e pushed by nisnislevi
November 6, 2024 19:02 17m 44s main
main
November 6, 2024 19:02 17m 44s
Certora Review certora-stata #33: Pull request #7 synchronize by nisnislevi
October 6, 2024 06:13 20m 8s certora
certora
October 6, 2024 06:13 20m 8s
Certora Review certora-stata #32: Pull request #7 synchronize by nisnislevi
September 30, 2024 19:58 20m 53s certora
certora
September 30, 2024 19:58 20m 53s
Certora Review certora-stata #31: Pull request #7 synchronize by nisnislevi
September 23, 2024 18:37 23m 11s certora
certora
September 23, 2024 18:37 23m 11s
Certora Review certora-stata #30: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:48 19m 34s certora
certora
September 23, 2024 09:48 19m 34s
Certora Review certora-stata #29: Pull request #7 synchronize by nisnislevi
September 23, 2024 09:46 1m 29s certora
certora
September 23, 2024 09:46 1m 29s