Skip to content

Actions: lidofinance/dual-governance

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
427 workflow runs
427 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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.