Skip to content

Actions: runtimeverification/_audits_lidofinance_dual-governance_fork

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
98 workflow runs
98 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add kontrol.toml, restructure scripts, and update CI config Test Proofs #73: Commit 473bcd7 pushed by qian-hu
August 16, 2024 20:47 16s tests-on-client-code
tests-on-client-code
August 16, 2024 20:47 16s
Update CI configurations Test Proofs #72: Commit ad66780 pushed by qian-hu
August 16, 2024 16:46 13s tests-on-client-code
tests-on-client-code
August 16, 2024 16:46 13s
new tests Test Proofs #71: Commit b3394e6 pushed by PetarMax
August 13, 2024 20:23 13s tests-on-client-code
tests-on-client-code
August 13, 2024 20:23 13s
corrections Test Proofs #70: Commit 8ac38de pushed by PetarMax
August 12, 2024 10:54 12s tests-on-client-code
tests-on-client-code
August 12, 2024 10:54 12s
correction Test Proofs #69: Commit 98d46e3 pushed by PetarMax
August 10, 2024 14:24 13s tests-on-client-code
tests-on-client-code
August 10, 2024 14:24 13s
Refactor ProposalOperation tests Test Proofs #68: Commit 0dc5424 pushed by qian-hu
August 9, 2024 06:45 12s tests-on-client-code
tests-on-client-code
August 9, 2024 06:45 12s
Add ProposalOperations tests Test Proofs #67: Commit b3c083d pushed by qian-hu
August 9, 2024 00:31 13s tests-on-client-code
tests-on-client-code
August 9, 2024 00:31 13s
removing fourth invariant from ...ArePreserved Test Proofs #66: Commit e61ea55 pushed by PetarMax
August 8, 2024 22:25 11s tests-on-client-code
tests-on-client-code
August 8, 2024 22:25 11s
testDeactivationNotCancelled Test Proofs #65: Commit 18e0047 pushed by PetarMax
August 8, 2024 22:22 11s tests-on-client-code
tests-on-client-code
August 8, 2024 22:22 11s
Update CI configurations Test Proofs #64: Commit a7d9694 pushed by qian-hu
August 8, 2024 14:57 13s tests-on-client-code
tests-on-client-code
August 8, 2024 14:57 13s
VetoCooldown Test Proofs #63: Commit aa72a4d pushed by PetarMax
August 8, 2024 09:33 12s tests-on-client-code
tests-on-client-code
August 8, 2024 09:33 12s
adding VetoSignalling invariant Test Proofs #62: Commit 485e593 pushed by PetarMax
August 8, 2024 07:37 16s tests-on-client-code
tests-on-client-code
August 8, 2024 07:37 16s
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