Skip to content

Actions: Certora/euler-vault-cantina-fv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

report draft ci #23: Commit 941eef7 pushed by teryanarmen
August 30, 2024 22:29 2m 28s master
master
August 30, 2024 22:29 2m 28s
add mutations ci #22: Commit 66887a7 pushed by teryanarmen
June 26, 2024 18:08 2m 22s master
master
June 26, 2024 18:08 2m 22s
build_cache is fine ci #21: Commit 11fe8ad pushed by teryanarmen
June 2, 2024 18:46 2m 23s master
master
June 2, 2024 18:46 2m 23s
make executeLiquidation internal from private ci #20: Commit 21bbcbb pushed by teryanarmen
June 1, 2024 19:10 2m 10s master
master
June 1, 2024 19:10 2m 10s
rename complex conf to wip and add note about build_cache ci #19: Commit 7974ef4 pushed by teryanarmen
May 31, 2024 20:34 2m 15s master
master
May 31, 2024 20:34 2m 15s
remove via_ir ci #18: Commit d20e9b7 pushed by teryanarmen
May 31, 2024 02:48 2m 9s master
master
May 31, 2024 02:48 2m 9s
add build_cache to all confs ci #17: Commit 35b2ed1 pushed by teryanarmen
May 28, 2024 19:50 1m 50s master
master
May 28, 2024 19:50 1m 50s
add packages to borrowing, remove forge package from rest ci #16: Commit be2d030 pushed by teryanarmen
May 27, 2024 19:47 2m 9s master
master
May 27, 2024 19:47 2m 9s
remove privilegedOperation ci #15: Commit 44561e5 pushed by teryanarmen
May 26, 2024 19:30 2m 12s master
master
May 26, 2024 19:30 2m 12s
split vault further ci #14: Commit 65d7ae8 pushed by teryanarmen
May 23, 2024 22:00 1m 47s master
master
May 23, 2024 22:00 1m 47s
for some reason Cache.sol was not updated ci #13: Commit 1ad2946 pushed by teryanarmen
May 23, 2024 00:25 1m 52s master
master
May 23, 2024 00:25 1m 52s
split Vault spec into simple and complex ci #12: Commit 96df407 pushed by teryanarmen
May 22, 2024 19:11 2m 0s master
master
May 22, 2024 19:11 2m 0s
add checkAccountStatus summary ci #11: Commit a2ed03c pushed by teryanarmen
May 22, 2024 17:44 2m 12s master
master
May 22, 2024 17:44 2m 12s
add non mutated files to make certoraMutate compile ci #10: Commit 7485e6e pushed by teryanarmen
May 21, 2024 21:05 1m 57s master
master
May 21, 2024 21:05 1m 57s
help with timeouts ci #9: Commit 262d969 pushed by teryanarmen
May 21, 2024 17:33 2m 38s master
master
May 21, 2024 17:33 2m 38s
fix mutants, update solvency rule ci #8: Commit 025b1c6 pushed by teryanarmen
May 21, 2024 17:28 2m 23s master
master
May 21, 2024 17:28 2m 23s
fix readme ci #7: Commit b9c75a1 pushed by teryanarmen
May 21, 2024 16:02 19m 18s master
master
May 21, 2024 16:02 19m 18s
fix unresolved calls ci #6: Commit 1e74e37 pushed by teryanarmen
May 20, 2024 23:14 1m 53s master
master
May 20, 2024 23:14 1m 53s
add parametric contracts to liquidation conf ci #5: Commit 7949ef0 pushed by teryanarmen
May 20, 2024 21:18 1m 54s master
master
May 20, 2024 21:18 1m 54s
final ci #4: Commit fd7ce2d pushed by teryanarmen
May 20, 2024 19:50 2m 8s master
master
May 20, 2024 19:50 2m 8s
2nd clean ci #3: Commit c725925 pushed by teryanarmen
May 20, 2024 10:09 2m 10s master
master
May 20, 2024 10:09 2m 10s
initial push ci #2: Commit ecb742a pushed by teryanarmen
May 20, 2024 09:34 2m 30s master
master
May 20, 2024 09:34 2m 30s
Merge pull request #192 from euler-xyz/specs ci #1: Commit 06a0ab3 pushed by teryanarmen
May 20, 2024 09:28 16m 51s master
master
May 20, 2024 09:28 16m 51s