Skip to content

Actions: lidofinance/dual-governance

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
257 workflow runs
257 workflow runs

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
ProTip! You can narrow down the results and go further in time using created:<2024-06-13 or the other filters available.