Skip to content

Actions: lidofinance/dual-governance

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow run results
7 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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