Skip to content

Actions: Certora/aave-v3-core

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nissan with tadeas certora #77: Pull request #9 synchronize by nisnislevi
March 26, 2024 16:45 29m 31s nissan-with-tadeas
nissan-with-tadeas
March 26, 2024 16:45 29m 31s
Nissan with tadeas certora #76: Pull request #9 synchronize by nisnislevi
March 26, 2024 16:32 30m 17s nissan-with-tadeas
nissan-with-tadeas
March 26, 2024 16:32 30m 17s
Nissan with tadeas certora #75: Pull request #9 synchronize by nisnislevi
March 26, 2024 16:27 5m 37s nissan-with-tadeas
nissan-with-tadeas
March 26, 2024 16:27 5m 37s
fix .yml certora #74: Commit 34a0d8f pushed by nisnislevi
March 26, 2024 16:26 Failure nissan-with-tadeas
nissan-with-tadeas
March 26, 2024 16:26 Failure
Nissan with tadeas certora #73: Pull request #9 opened by nisnislevi
March 26, 2024 16:23 55s nissan-with-tadeas
nissan-with-tadeas
March 26, 2024 16:23 55s
chore(master): release 1.19.3 (#939) certora #72: Commit 724a9ef pushed by nisnislevi
March 25, 2024 15:48 32m 25s master
master
March 25, 2024 15:48 32m 25s
migration to CVL2. AToken.spec get timedout certora #71: Pull request #2 synchronize by otakar-trunda
March 20, 2024 12:35 46s cvl2-conversion
cvl2-conversion
March 20, 2024 12:35 46s
migration to CVL2. AToken.spec get timedout certora #70: Pull request #2 synchronize by otakar-trunda
March 19, 2024 21:36 36s cvl2-conversion
cvl2-conversion
March 19, 2024 21:36 36s
migration to CVL2. AToken.spec get timedout certora #69: Pull request #2 synchronize by otakar-trunda
March 19, 2024 20:26 4m 48s cvl2-conversion
cvl2-conversion
March 19, 2024 20:26 4m 48s
CI progresses much better with certora-cli-beta v6.0.0 compared to certora-cli v5.0.5 certora #68: Pull request #8 opened by tadeas-kucera
December 14, 2023 11:53 1h 1m 35s testing-CI
testing-CI
December 14, 2023 11:53 1h 1m 35s
CI: Comment out only jobs timeouting with v6.0.0. certora #67: Commit 2631ec5 pushed by tadeas-kucera
December 14, 2023 11:48 51m 41s testing-CI
testing-CI
December 14, 2023 11:48 51m 41s
Try timeouting jobs with the 6.0.0. version certora #66: Commit f99d67c pushed by tadeas-kucera
December 14, 2023 10:07 47m 27s testing-CI
testing-CI
December 14, 2023 10:07 47m 27s
Try timeouting jobs with the 6.0.0. version certora #65: Commit 077414c pushed by tadeas-kucera
December 14, 2023 09:46 Failure testing-CI
testing-CI
December 14, 2023 09:46 Failure
Uncomment all current CI jobs certora #64: Commit 2c11797 pushed by tadeas-kucera
December 14, 2023 07:45 44m 30s testing-CI
testing-CI
December 14, 2023 07:45 44m 30s
Try if certora-cli-beta v6.0.0 prints link to the verification job al… certora #63: Commit 1e17d90 pushed by tadeas-kucera
December 13, 2023 17:30 22m 22s testing-CI
testing-CI
December 13, 2023 17:30 22m 22s
Revert commit 1eb8fd9 certora #62: Commit 8760e41 pushed by tadeas-kucera
December 13, 2023 14:40 37m 58s certora
certora
December 13, 2023 14:40 37m 58s
Add one timeouting job to test the CI link displaying certora #61: Commit e91e2f5 pushed by tadeas-kucera
December 13, 2023 12:10 2h 0m 59s certora
certora
December 13, 2023 12:10 2h 0m 59s
Comment out timeouting jobs from the CI certora #60: Commit 1eb8fd9 pushed by tadeas-kucera
December 13, 2023 11:59 29m 13s certora
certora
December 13, 2023 11:59 29m 13s
Split rule method_reachability and split borrow functionality tasks i… certora #59: Commit 4d465dc pushed by tadeas-kucera
December 13, 2023 09:30 2h 6m 20s certora
certora
December 13, 2023 09:30 2h 6m 20s
Split rule method_reachability and split borrow functionality tasks i… certora #58: Commit 2750416 pushed by tadeas-kucera
December 13, 2023 09:27 1m 40s certora
certora
December 13, 2023 09:27 1m 40s
Fix syntax errors. certora #57: Commit 26d9ea5 pushed by tadeas-kucera
December 13, 2023 09:19 2m 11s certora
certora
December 13, 2023 09:19 2m 11s
Split rule method_reachability and split borrow functionality tasks i… certora #56: Commit 86b9f66 pushed by tadeas-kucera
December 13, 2023 09:13 7m 47s certora
certora
December 13, 2023 09:13 7m 47s
Try CI with basic sanity and lower prover depth for two of our rules certora #55: Commit 911a539 pushed by tadeas-kucera
December 12, 2023 07:13 2h 1m 4s certora
certora
December 12, 2023 07:13 2h 1m 4s
Improve Martins rule certora #54: Commit 9933077 pushed by tadeas-kucera
December 12, 2023 07:02 2h 18m 57s certora
certora
December 12, 2023 07:02 2h 18m 57s
Fix simple properties spec certora #53: Commit 3236b98 pushed by tadeas-kucera
December 11, 2023 22:06 2h 7m 6s certora
certora
December 11, 2023 22:06 2h 7m 6s