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

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
Limiting times to year 3058 Test Proofs #36: Commit ef29411 pushed by PetarMax
July 10, 2024 22:23 11s tests-on-client-code
tests-on-client-code
July 10, 2024 22:23 11s
polishing of lemmas Test Proofs #35: Commit bc55c63 pushed by PetarMax
July 10, 2024 20:23 12s tests-on-client-code
tests-on-client-code
July 10, 2024 20:23 12s
Fixed assumptions on _signallingEscrowStorageSetup to adapt to the cl… Test Proofs #34: Commit 0fa97c4 pushed by lucasmt
July 10, 2024 15:46 12s tests-on-client-code
tests-on-client-code
July 10, 2024 15:46 12s
Relabel comments on STORAGE and WORD symbolic variables Test Proofs #33: Commit 97f97ec pushed by lucasmt
July 10, 2024 15:18 15s tests-on-client-code
tests-on-client-code
July 10, 2024 15:18 15s
Fix issues in setUp() function Test Proofs #32: Commit ef49604 pushed by lucasmt
July 10, 2024 05:26 10s tests-on-client-code
tests-on-client-code
July 10, 2024 05:26 10s
Fix issues in DualGovernanceModel and EmergencyProtectedTimelockModel Test Proofs #31: Commit fb9de96 pushed by qian-hu
July 9, 2024 13:48 12s tests-on-client-code
tests-on-client-code
July 9, 2024 13:48 12s
Add testOnlyAdminProposersCanCancelProposals to ProposalOperations tests Test Proofs #30: Commit e7a8fb6 pushed by qian-hu
July 9, 2024 00:08 19s rvdevelop
rvdevelop
July 9, 2024 00:08 19s
Remove VetoCooldown test from list for now Test Proofs #29: Commit 22d1d3b pushed by lucasmt
July 8, 2024 20:39 15s tests-on-client-code
tests-on-client-code
July 8, 2024 20:39 15s
Adapt to latest updates Test Proofs #28: Commit 6fa07ac pushed by lucasmt
July 8, 2024 19:43 11s tests-on-client-code
tests-on-client-code
July 8, 2024 19:43 11s
Update testCanceledOrExecutedActionsCannotBeRescheduled Test Proofs #27: Commit 8a8905a pushed by qian-hu
July 8, 2024 17:19 13s rvdevelop
rvdevelop
July 8, 2024 17:19 13s
Merge pull request #54 from lidofinance/fix/docs-inaccuracy Test Proofs #26: Commit 3bb434b pushed by lucasmt
July 8, 2024 15:05 12s develop
develop
July 8, 2024 15:05 12s
Add VetoCooldownTest Test Proofs #25: Commit 9c3062c pushed by lucasmt
July 8, 2024 05:07 13s tests-on-client-code
tests-on-client-code
July 8, 2024 05:07 13s
Add ProposalOperations tests to run-kontrol.sh script Test Proofs #24: Commit 1187c06 pushed by qian-hu
July 8, 2024 04:44 11s rvdevelop
rvdevelop
July 8, 2024 04:44 11s