Skip to content

Actions: runtimeverification/_audits_lidofinance_dual-governance_fork

Actions

Test Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

renaming contracts for easier use with Kontrol Test Proofs #11: Commit 3103f4a pushed by PetarMax
June 21, 2024 21:50 11s rvdevelop
rvdevelop
June 21, 2024 21:50 11s
Adjust StETH model to be closer to original StETH contract Test Proofs #10: Commit b12c341 pushed by lucasmt
June 21, 2024 18:19 38s rvdevelop
rvdevelop
June 21, 2024 18:19 38s
Update versions.json to the latest kontrol version Test Proofs #9: Commit c967988 pushed by lucasmt
June 18, 2024 23:00 14s rvdevelop
rvdevelop
June 18, 2024 23:00 14s
Add new version of Escrow model using rebasable StETH token Test Proofs #8: Commit f4bede4 pushed by lucasmt
June 17, 2024 23:04 11s rvdevelop
rvdevelop
June 17, 2024 23:04 11s
Adding workflow_dispatch event triggers Test Proofs #7: Commit 7f3261d pushed by lucasmt
June 14, 2024 23:21 15s rvdevelop
rvdevelop
June 14, 2024 23:21 15s
Adding workflow_dispatch event triggers Test Proofs #6: Commit 07d17d3 pushed by F-WRunTime
June 14, 2024 23:05 14s rvdevelop
rvdevelop
June 14, 2024 23:05 14s
Merge pull request #49 from lidofinance/fix/model-dual-governance-fix Test Proofs #5: Commit 2f7047e pushed by lucasmt
June 13, 2024 14:28 13s develop
develop
June 13, 2024 14:28 13s
Fix check in Escrow model Test Proofs #4: Commit 699ed04 pushed by lucasmt
June 12, 2024 22:31 15s rvdevelop
rvdevelop
June 12, 2024 22:31 15s
Fix VetoSignalling tests Test Proofs #3: Commit 246d5f8 pushed by lucasmt
June 12, 2024 21:41 11s rvdevelop
rvdevelop
June 12, 2024 21:41 11s
Merge conflict resolution Test Proofs #2: Commit 5070a16 pushed by F-WRunTime
June 12, 2024 21:12 14s rvdevelop
rvdevelop
June 12, 2024 21:12 14s
Committing KaaS Compute Setup for RV Testing / Development Test Proofs #1: Pull request #2 synchronize by F-WRunTime
June 12, 2024 20:55 12s rvdevelop
rvdevelop
June 12, 2024 20:55 12s