Skip to content

Actions: runtimeverification/_audits_lidofinance_dual-governance_fork

Actions

Test Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lido-ci.yml
86 workflow runs
86 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

gradually establishing invariants Test Proofs #61: Commit 73aef2a pushed by PetarMax
August 7, 2024 14:10 12s tests-on-client-code
tests-on-client-code
August 7, 2024 14:10 12s
Add stETH assumptions and invariants Test Proofs #60: Commit 6f5cb23 pushed by lucasmt
August 6, 2024 20:20 11s tests-on-client-code
tests-on-client-code
August 6, 2024 20:20 11s
Add lemmas for testUnlockStEth Test Proofs #59: Commit bc09d7a pushed by lucasmt
August 6, 2024 19:41 10s tests-on-client-code
tests-on-client-code
August 6, 2024 19:41 10s
rearranging testDeactivationNotCancelled Test Proofs #58: Commit eb7ebd3 pushed by PetarMax
August 3, 2024 06:54 10s tests-on-client-code
tests-on-client-code
August 3, 2024 06:54 10s
invariant check correction Test Proofs #57: Commit e4762ca pushed by PetarMax
August 2, 2024 06:24 11s tests-on-client-code
tests-on-client-code
August 2, 2024 06:24 11s
Fix calculation for rage quit support Test Proofs #56: Commit d4ee537 pushed by qian-hu
August 1, 2024 15:11 11s tests-on-client-code
tests-on-client-code
August 1, 2024 15:11 11s
KOntrol version > 0.1.380 Test Proofs #55: Commit 37a27e3 pushed by F-WRunTime
July 31, 2024 19:46 11s tests-on-client-code
tests-on-client-code
July 31, 2024 19:46 11s
Move to master branch to run code Test Proofs #54: Commit 1bd6f38 pushed by F-WRunTime
July 31, 2024 18:16 19s tests-on-client-code
tests-on-client-code
July 31, 2024 18:16 19s
Resolve Conflict, take develop branch changes Test Proofs #53: Commit b2ea538 pushed by F-WRunTime
July 31, 2024 17:14 14s rvdevelop
rvdevelop
July 31, 2024 17:14 14s
simplification correction Test Proofs #52: Commit d2160f8 pushed by PetarMax
July 30, 2024 17:31 15s tests-on-client-code
tests-on-client-code
July 30, 2024 17:31 15s
isolating rageQuit cases Test Proofs #51: Commit 38d0724 pushed by PetarMax
July 30, 2024 10:47 12s tests-on-client-code
tests-on-client-code
July 30, 2024 10:47 12s
corrections to storage slot 8 Test Proofs #50: Commit c55fe77 pushed by PetarMax
July 29, 2024 19:31 16s tests-on-client-code
tests-on-client-code
July 29, 2024 19:31 16s
more tests and lemmas Test Proofs #49: Commit 15351bc pushed by PetarMax
July 29, 2024 16:55 15s tests-on-client-code
tests-on-client-code
July 29, 2024 16:55 15s
Fix typo in testVetoCooldownDuration Test Proofs #48: Commit d27e88b pushed by lucasmt
July 29, 2024 04:00 12s tests-on-client-code
tests-on-client-code
July 29, 2024 04:00 12s
Refine assumptions in testUnlockStEth Test Proofs #47: Commit f4e2678 pushed by lucasmt
July 27, 2024 06:06 16s tests-on-client-code
tests-on-client-code
July 27, 2024 06:06 16s
Merge remote-tracking branch 'origin/petar/external-functions-in-setu… Test Proofs #46: Commit b6c977d pushed by PetarMax
July 26, 2024 20:25 15s tests-on-client-code
tests-on-client-code
July 26, 2024 20:25 15s
Revert EscrowOperationsTest base to EscrowAccountingTest Test Proofs #45: Commit 6baf163 pushed by qian-hu
July 23, 2024 23:21 10s tests-on-client-code
tests-on-client-code
July 23, 2024 23:21 10s
Adapt EscrowOperations tests to latest updates Test Proofs #44: Commit 05baf70 pushed by qian-hu
July 23, 2024 22:34 11s tests-on-client-code
tests-on-client-code
July 23, 2024 22:34 11s
Move assumptions back to ...StorageSetup functions to avoid TooManyIt… Test Proofs #43: Commit 5336955 pushed by lucasmt
July 21, 2024 22:58 12s tests-on-client-code
tests-on-client-code
July 21, 2024 22:58 12s
StorageSetup: Status -> WithdrawalsBatchesQueue.Status Test Proofs #42: Commit f3caac7 pushed by lucasmt
July 15, 2024 19:58 12s tests-on-client-code
tests-on-client-code
July 15, 2024 19:58 12s
Update comment on EscrowAccountingTest to account for batchesQueue Test Proofs #41: Commit 08fba87 pushed by lucasmt
July 15, 2024 15:32 12s tests-on-client-code
tests-on-client-code
July 15, 2024 15:32 12s
Add batchesQueue to storage setup Test Proofs #40: Commit 03f7acf pushed by lucasmt
July 15, 2024 15:30 11s tests-on-client-code
tests-on-client-code
July 15, 2024 15:30 11s
Add additional EscrowAccounting tests Test Proofs #39: Commit 9ad09b0 pushed by lucasmt
July 12, 2024 03:54 16s tests-on-client-code
tests-on-client-code
July 12, 2024 03:54 16s
one more correction Test Proofs #38: Commit 9a24862 pushed by PetarMax
July 11, 2024 14:32 13s tests-on-client-code
tests-on-client-code
July 11, 2024 14:32 13s
correction Test Proofs #37: Commit 326d8ae pushed by PetarMax
July 11, 2024 13:35 16s tests-on-client-code
tests-on-client-code
July 11, 2024 13:35 16s