Skip to content

Actions: Certora/aave-v3-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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
Remove sanoty checks from conf files timeouting in the CI, move timeo… certora #52: Commit 933fab2 pushed by tadeas-kucera
December 11, 2023 14:09 3h 18m 47s certora
certora
December 11, 2023 14:09 3h 18m 47s
Fix CI certora #51: Commit 6d2d28d pushed by tadeas-kucera
December 11, 2023 13:43 2h 43m 9s certora
certora
December 11, 2023 13:43 2h 43m 9s
Fix indexIncreasesMonotonically and use it in CI certora #50: Commit 0770dad pushed by tadeas-kucera
December 11, 2023 13:25 2h 49m 56s certora
certora
December 11, 2023 13:25 2h 49m 56s
Test CI if it needs Quotation certora #49: Commit de0c0e2 pushed by tadeas-kucera
December 11, 2023 12:46 2h 0m 56s certora
certora
December 11, 2023 12:46 2h 0m 56s
Remove .orig files from patch file certora #48: Commit 997e84b pushed by tadeas-kucera
December 11, 2023 12:13 2h 0m 52s certora
certora
December 11, 2023 12:13 2h 0m 52s
Fix rules delegation for CI try 4 certora #47: Commit b9cf55a pushed by tadeas-kucera
December 11, 2023 11:34 2h 1m 16s certora
certora
December 11, 2023 11:34 2h 1m 16s
Fix rules delegation for CI try 3 certora #46: Commit 682fa86 pushed by tadeas-kucera
December 11, 2023 11:20 2h 0m 53s certora
certora
December 11, 2023 11:20 2h 0m 53s
Fix rules delegation for CI try 2 certora #45: Commit 9106812 pushed by tadeas-kucera
December 11, 2023 11:13 1h 39m 17s certora
certora
December 11, 2023 11:13 1h 39m 17s
Fix rules delegation for CI certora #44: Commit b7528cb pushed by tadeas-kucera
December 11, 2023 11:08 2h 0m 49s certora
certora
December 11, 2023 11:08 2h 0m 49s
Try different braces in CI yml file for rule lists certora #43: Commit 4217167 pushed by tadeas-kucera
December 11, 2023 11:00 1h 17m 25s certora
certora
December 11, 2023 11:00 1h 17m 25s
Fix index related rules filters certora #42: Commit b9038c9 pushed by tadeas-kucera
December 11, 2023 10:31 4m 59s certora
certora
December 11, 2023 10:31 4m 59s
Comment out non functioning filter for updateReserveIndexesWithCache certora #41: Commit 7d301b3 pushed by tadeas-kucera
December 11, 2023 10:05 4m 22s certora
certora
December 11, 2023 10:05 4m 22s
Fix CI, use msg instead of message certora #40: Commit 09e6150 pushed by tadeas-kucera
December 11, 2023 09:59 4m 3s certora
certora
December 11, 2023 09:59 4m 3s
Fix conf files, Verify CI in smaller patches certora #39: Commit 046162b pushed by tadeas-kucera
December 11, 2023 09:43 8m 10s certora
certora
December 11, 2023 09:43 8m 10s
Merge branch 'certora' of github.com:Certora/aave-v3-core into certora certora #38: Commit d89c253 pushed by martin-hruska
December 8, 2023 10:11 2h 0m 46s certora
certora
December 8, 2023 10:11 2h 0m 46s