Skip to content

Actions: Certora/aave-token-v3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

certora certora #64: Manually run by nisnislevi
November 12, 2023 13:43 33m 0s certora-squash
certora-squash
November 12, 2023 13:43 33m 0s
Certora - testing CI certora #63: Pull request #36 synchronize by nisnislevi
November 12, 2023 12:54 34m 55s certora
certora
November 12, 2023 12:54 34m 55s
fix .yml certora #62: Commit 64eb150 pushed by nisnislevi
November 12, 2023 12:54 1m 48s certora
certora
November 12, 2023 12:54 1m 48s
Certora - testing CI certora #61: Pull request #36 synchronize by nisnislevi
November 12, 2023 12:46 9m 4s certora
certora
November 12, 2023 12:46 9m 4s
add to .tml certora #60: Commit c483743 pushed by nisnislevi
November 12, 2023 12:46 2m 3s certora
certora
November 12, 2023 12:46 2m 3s
Certora - testing CI certora #59: Pull request #36 synchronize by nisnislevi
November 12, 2023 12:43 5m 12s certora
certora
November 12, 2023 12:43 5m 12s
Merge pull request #38 from Certora/certora-squash certora #58: Commit ec80c6d pushed by nisnislevi
November 12, 2023 10:56 53m 24s main
main
November 12, 2023 10:56 53m 24s
for PR certora #57: Pull request #39 opened by nisnislevi
October 17, 2023 07:08 1h 23m 53s certora-squash
certora-squash
October 17, 2023 07:08 1h 23m 53s
Certora - testing CI certora #56: Pull request #36 synchronize by nisnislevi
October 17, 2023 07:04 1h 26m 50s certora
certora
October 17, 2023 07:04 1h 26m 50s
Nissan certora #55: Pull request #38 reopened by nisnislevi
October 17, 2023 06:45 39m 55s nissan
nissan
October 17, 2023 06:45 39m 55s
Nissan certora #54: Pull request #38 synchronize by nisnislevi
October 17, 2023 06:44 37m 25s nissan
nissan
October 17, 2023 06:44 37m 25s
Nissan certora #53: Pull request #38 opened by nisnislevi
October 17, 2023 06:32 35s nissan
nissan
October 17, 2023 06:32 35s
Certora - testing CI certora #52: Pull request #36 synchronize by nisnislevi
October 2, 2023 14:39 5m 15s certora
certora
October 2, 2023 14:39 5m 15s
Merge pull request #37 from bgd-labs/feat/misc-organization certora #51: Commit 874ffdb pushed by nisnislevi
October 2, 2023 14:11 4m 56s main
main
October 2, 2023 14:11 4m 56s
Merge pull request #34 from bgd-labs/feat/readme certora #50: Commit e869de2 pushed by MichaelMorami
September 27, 2023 12:48 6m 41s main
main
September 27, 2023 12:48 6m 41s
Certora - testing CI certora #49: Pull request #36 synchronize by MichaelMorami
September 27, 2023 12:26 5m 37s certora
certora
September 27, 2023 12:26 5m 37s
Certora - testing CI certora #48: Pull request #36 synchronize by MichaelMorami
September 27, 2023 12:08 4m 2s certora
certora
September 27, 2023 12:08 4m 2s
Merge pull request #33 from bgd-labs/feat/readme certora #47: Commit 754a6c7 pushed by MichaelMorami
September 27, 2023 12:07 4m 14s main
main
September 27, 2023 12:07 4m 14s