Skip to content

Actions: Certora/aave-v3-origin

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
195 workflow runs
195 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #15 from bgd-labs/sync/cantina-preparations
certora #6: Commit a4f5f40 pushed by nisnislevi
May 5, 2024 08:12 14m 59s main
May 5, 2024 08:12 14m 59s
Merge pull request #15 from bgd-labs/sync/cantina-preparations
Deploy static content to Pages #2: Commit a4f5f40 pushed by nisnislevi
May 5, 2024 08:12 25s main
May 5, 2024 08:12 25s
PR Comment
PR Comment #6: completed by nisnislevi
April 30, 2024 11:56 25s
April 30, 2024 11:56 25s
fix yml to 7.0.7
certora #5: Pull request #1 synchronize by nisnislevi
April 30, 2024 11:54 28m 9s certora
April 30, 2024 11:54 28m 9s
fix yml to 7.0.7
Test #6: Pull request #1 synchronize by nisnislevi
April 30, 2024 11:54 2m 15s certora
April 30, 2024 11:54 2m 15s
PR Comment
PR Comment #5: completed by nisnislevi
April 30, 2024 11:50 12s
April 30, 2024 11:50 12s
Merge pull request #12 from aave-dao/fix/access-types
Deploy static content to Pages #1: Commit 1af1fc9 pushed by nisnislevi
April 30, 2024 11:48 22s main
April 30, 2024 11:48 22s
Merge pull request #12 from aave-dao/fix/access-types
certora #4: Commit 1af1fc9 pushed by nisnislevi
April 30, 2024 11:48 22m 3s main
April 30, 2024 11:48 22m 3s
Merge pull request #12 from aave-dao/fix/access-types
Test #5: Commit 1af1fc9 pushed by nisnislevi
April 30, 2024 11:48 2m 14s main
April 30, 2024 11:48 2m 14s
PR Comment
PR Comment #4: completed by nisnislevi
April 16, 2024 14:58 21s
April 16, 2024 14:58 21s
for PR
Test #4: Pull request #3 opened by nisnislevi
April 16, 2024 14:56 2m 9s certora-squashed
April 16, 2024 14:56 2m 9s
for PR
certora #3: Pull request #3 opened by nisnislevi
April 16, 2024 14:56 26m 34s certora-squashed
April 16, 2024 14:56 26m 34s
PR Comment
PR Comment #3: completed by nisnislevi
April 16, 2024 13:37 17s
April 16, 2024 13:37 17s
fix yml to 7.0.7
certora #2: Pull request #1 synchronize by nisnislevi
April 16, 2024 13:36 29m 2s certora
April 16, 2024 13:36 29m 2s
fix yml to 7.0.7
Test #3: Pull request #1 synchronize by nisnislevi
April 16, 2024 13:36 1m 14s certora
April 16, 2024 13:36 1m 14s
PR Comment
PR Comment #2: completed by nisnislevi
April 16, 2024 13:34 15s
April 16, 2024 13:34 15s
Temp
Test #2: Pull request #2 opened by nisnislevi
April 16, 2024 13:32 2m 0s temp
April 16, 2024 13:32 2m 0s
PR Comment
PR Comment #1: completed by nisnislevi
April 16, 2024 13:20 19s
April 16, 2024 13:20 19s
fix yml to 7.0.7
certora #1: Pull request #1 opened by nisnislevi
April 16, 2024 13:18 15m 2s certora
April 16, 2024 13:18 15m 2s
fix yml to 7.0.7
Test #1: Pull request #1 opened by nisnislevi
April 16, 2024 13:18 2m 16s certora
April 16, 2024 13:18 2m 16s