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

Update lido-ci.yml and run-kontrol.sh Test Proofs #86: Commit d48291a pushed by qian-hu
October 2, 2024 22:11 10s tests-on-client-code
tests-on-client-code
October 2, 2024 22:11 10s
Update lido-ci.yml Test Proofs #85: Commit 831e683 pushed by F-WRunTime
October 2, 2024 18:25 15s develop
develop
October 2, 2024 18:25 15s
Update Kontrol version Test Proofs #84: Commit 2922d2e pushed by qian-hu
September 30, 2024 13:54 18s tests-on-client-code
tests-on-client-code
September 30, 2024 13:54 18s
Merge branch 'lidofinance:develop' into develop Test Proofs #83: Commit 2fcc925 pushed by qian-hu
September 30, 2024 13:49 16s develop
develop
September 30, 2024 13:49 16s
minor corrections, adding syntactics Test Proofs #82: Commit b03139f pushed by PetarMax
September 3, 2024 08:40 12s tests-on-client-code
tests-on-client-code
September 3, 2024 08:40 12s
adding auxiliary lemmas Test Proofs #81: Commit 088597b pushed by PetarMax
September 2, 2024 10:04 12s tests-on-client-code
tests-on-client-code
September 2, 2024 10:04 12s
Update lido-ci.yml Test Proofs #80: Commit ef214c7 pushed by F-WRunTime
August 26, 2024 21:32 12s develop
develop
August 26, 2024 21:32 12s
Merge pull request #93 from lidofinance/feature/hashconsensus-quorum Test Proofs #79: Commit 6bf5739 pushed by F-WRunTime
August 26, 2024 21:28 15s develop
develop
August 26, 2024 21:28 15s
adjusting lemmas to Kontrol 1.0 Test Proofs #78: Commit a6eb909 pushed by PetarMax
August 24, 2024 18:25 11s tests-on-client-code
tests-on-client-code
August 24, 2024 18:25 11s
Update Kontrol version Test Proofs #77: Commit 9ac62f3 pushed by qian-hu
August 21, 2024 20:55 12s tests-on-client-code
tests-on-client-code
August 21, 2024 20:55 12s
lemma corrections Test Proofs #76: Commit 63727d8 pushed by PetarMax
August 21, 2024 11:16 11s tests-on-client-code
tests-on-client-code
August 21, 2024 11:16 11s
lemma correction Test Proofs #75: Commit 272c711 pushed by PetarMax
August 21, 2024 10:00 13s tests-on-client-code
tests-on-client-code
August 21, 2024 10:00 13s
tweaking parameters Test Proofs #74: Commit 1c9abbc pushed by PetarMax
August 16, 2024 21:12 15s tests-on-client-code
tests-on-client-code
August 16, 2024 21:12 15s
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