Skip to content

Actions: lidofinance/dual-governance

Actions

Test Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'fix/check-escrow-state-tokens-lock-unlock' into develop Test Proofs #24: Commit 8f53211 pushed by Psirex
August 1, 2024 16:41 13s develop
develop
August 1, 2024 16:41 13s
Merge pull request #68 from lidofinance/refactor/dual-governance-state Test Proofs #23: Commit d0a536f pushed by Psirex
August 1, 2024 16:31 15s develop
develop
August 1, 2024 16:31 15s
Merge pull request #63 from lidofinance/feature/proposals-optimizations Test Proofs #22: Commit 181991c pushed by Psirex
August 1, 2024 15:36 14s develop
develop
August 1, 2024 15:36 14s
Merge pull request #73 from lidofinance/feature/withdrawal-batches-qu… Test Proofs #21: Commit f9d06f2 pushed by Psirex
July 31, 2024 12:08 11s develop
develop
July 31, 2024 12:08 11s
fix automerge errors Test Proofs #20: Commit 0f6a0a2 pushed by bulbozaur
July 25, 2024 11:43 14s develop
develop
July 25, 2024 11:43 14s
Merge pull request #62 from lidofinance/feature/gh-actions Test Proofs #19: Commit 797099a pushed by bulbozaur
July 25, 2024 11:13 16s develop
develop
July 25, 2024 11:13 16s
Merge pull request #65 from lidofinance/feature/committees-natspec Test Proofs #18: Commit 46f3d71 pushed by Psirex
July 24, 2024 11:01 13s develop
develop
July 24, 2024 11:01 13s
Merge pull request #69 from lidofinance/feature/proposers-lib-improve… Test Proofs #17: Commit fa34169 pushed by Psirex
July 24, 2024 11:00 13s develop
develop
July 24, 2024 11:00 13s
Merge pull request #66 from lidofinance/feature/protected-timelock-im… Test Proofs #16: Commit b69da03 pushed by Psirex
July 24, 2024 11:00 11s develop
develop
July 24, 2024 11:00 11s
Merge pull request #67 from lidofinance/feature/timelocked-governance… Test Proofs #15: Commit 836594e pushed by Psirex
July 24, 2024 10:51 16s develop
develop
July 24, 2024 10:51 16s
Merge pull request #70 from lidofinance/feature/emergency-protection-… Test Proofs #14: Commit b3a3ff7 pushed by Psirex
July 24, 2024 10:46 10s develop
develop
July 24, 2024 10:46 10s
Merge pull request #58 from lidofinance/feature/plan-b-doc Test Proofs #13: Commit b5bcd5a pushed by Psirex
July 22, 2024 12:21 11s develop
develop
July 22, 2024 12:21 11s
Merge pull request #61 from lidofinance/feature/project-org Test Proofs #12: Commit c222802 pushed by Psirex
July 17, 2024 11:37 12s develop
develop
July 17, 2024 11:37 12s
Merge pull request #60 from lidofinance/docs/update-spec-diagram Test Proofs #11: Commit 1e6814f pushed by Psirex
July 16, 2024 10:55 12s develop
develop
July 16, 2024 10:55 12s
Merge pull request #59 from lidofinance/feature/tiebreaker Test Proofs #10: Commit cf709cd pushed by bulbozaur
July 8, 2024 16:00 14s develop
develop
July 8, 2024 16:00 14s
Merge pull request #54 from lidofinance/fix/docs-inaccuracy Test Proofs #9: Commit 3bb434b pushed by Psirex
July 8, 2024 12:00 13s develop
develop
July 8, 2024 12:00 13s
Merge pull request #21 from lidofinance/feature/tiebreaker Test Proofs #8: Commit fd84dc5 pushed by Psirex
July 8, 2024 10:04 15s develop
develop
July 8, 2024 10:04 15s
Merge pull request #51 from runtimeverification/design-review-report Test Proofs #7: Commit 1695bdb pushed by rkolpakov
June 24, 2024 10:40 11s develop
develop
June 24, 2024 10:40 11s
Merge pull request #53 from lidofinance/fix/single-governance-mock-fix Test Proofs #6: Commit 18be2e8 pushed by rkolpakov
June 20, 2024 10:43 13s develop
develop
June 20, 2024 10:43 13s
Merge pull request #52 from lidofinance/fix/failed-tests Test Proofs #5: Commit eb45e25 pushed by Psirex
June 20, 2024 10:24 15s develop
develop
June 20, 2024 10:24 15s
Merge pull request #41 from lidofinance/feat/emergency-protected-time… Test Proofs #4: Commit 683f152 pushed by Psirex
June 20, 2024 09:57 12s develop
develop
June 20, 2024 09:57 12s
Merge pull request #34 from lidofinance/fix/specs-differences Test Proofs #3: Commit 74327cf pushed by Psirex
June 19, 2024 21:44 11s develop
develop
June 19, 2024 21:44 11s
Merge pull request #49 from lidofinance/fix/model-dual-governance-fix Test Proofs #2: Commit 2f7047e pushed by rkolpakov
June 13, 2024 13:28 12s develop
develop
June 13, 2024 13:28 12s
Merge pull request #48 from runtimeverification/rv/update Test Proofs #1: Commit 2a382ff pushed by rkolpakov
June 13, 2024 11:41 13s develop
develop
June 13, 2024 11:41 13s