Skip to content

Actions: Certora/aave-v3-origin

Actions

certora-basic

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-basic.yml
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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