Skip to content

Actions: bgd-labs/aave-token-v3

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #40 from bgd-labs/feat/mix-bytes-audit certora #79: Commit 994f1d3 pushed by kyzia551
December 1, 2023 11:45 2h 2m 20s main
main
December 1, 2023 11:45 2h 2m 20s
Abudit report by MixBytes certora #78: Pull request #40 opened by kyzia551
December 1, 2023 11:37 33m 23s feat/mix-bytes-audit
feat/mix-bytes-audit
December 1, 2023 11:37 33m 23s
Merge pull request #38 from Certora/certora-squash certora #76: Commit ec80c6d pushed by sendra
October 19, 2023 14:50 7m 50s main
main
October 19, 2023 14:50 7m 50s
Certora review certora #75: Pull request #38 opened by nisnislevi
October 17, 2023 10:18 1m 26s Certora:certora-squash
Certora:certora-squash
October 17, 2023 10:18 1m 26s
Merge pull request #37 from bgd-labs/feat/misc-organization certora #74: Commit 874ffdb pushed by kyzia551
September 28, 2023 09:40 10m 3s main
main
September 28, 2023 09:40 10m 3s
misc organization changes certora #73: Pull request #37 opened by eboadom
September 28, 2023 09:38 9m 35s feat/misc-organization
feat/misc-organization
September 28, 2023 09:38 9m 35s
Merge pull request #36 from bgd-labs/feat/icon-and-readme certora #72: Commit 8607a40 pushed by kyzia551
September 27, 2023 14:16 3m 25s main
main
September 27, 2023 14:16 3m 25s
feat: updated icon and link to Certora report certora #71: Pull request #36 opened by eboadom
September 27, 2023 14:14 4m 37s feat/icon-and-readme
feat/icon-and-readme
September 27, 2023 14:14 4m 37s
Merge pull request #35 from Certora/certora_squash_2 certora #70: Commit 18d7e67 pushed by eboadom
September 27, 2023 14:11 4m 42s main
main
September 27, 2023 14:11 4m 42s
updating commit hash on report certora #69: Pull request #35 opened by MichaelMorami
September 27, 2023 12:50 53s Certora:certora_squash_2
Certora:certora_squash_2
September 27, 2023 12:50 53s
Merge pull request #34 from bgd-labs/feat/readme certora #68: Commit e869de2 pushed by kyzia551
September 27, 2023 12:18 5m 33s main
main
September 27, 2023 12:18 5m 33s
Feat/readme certora #67: Pull request #34 opened by eboadom
September 27, 2023 12:04 5m 37s feat/readme
feat/readme
September 27, 2023 12:04 5m 37s
Merge pull request #33 from bgd-labs/feat/readme certora #66: Commit 754a6c7 pushed by sendra
September 26, 2023 16:07 10m 44s main
main
September 26, 2023 16:07 10m 44s
feat: improved README certora #65: Pull request #33 opened by eboadom
September 26, 2023 14:53 9m 1s feat/readme
feat/readme
September 26, 2023 14:53 9m 1s
base script to deploy AaveToken certora #64: Pull request #31 synchronize by rustboyar
August 31, 2023 10:01 6m 52s feat/deploy-token
feat/deploy-token
August 31, 2023 10:01 6m 52s
base script to deploy AaveToken certora #63: Pull request #31 synchronize by rustboyar
August 31, 2023 08:50 4m 42s feat/deploy-token
feat/deploy-token
August 31, 2023 08:50 4m 42s
base script to deploy AaveToken certora #62: Pull request #31 synchronize by rustboyar
August 31, 2023 08:47 6m 44s feat/deploy-token
feat/deploy-token
August 31, 2023 08:47 6m 44s
base script to deploy AaveToken certora #61: Pull request #31 synchronize by rustboyar
August 30, 2023 12:07 5m 53s feat/deploy-token
feat/deploy-token
August 30, 2023 12:07 5m 53s