Skip to content

Actions: runtimeverification/_audits_lidofinance_dual-governance_fork

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
98 workflow runs
98 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update lido-ci.yml and run-kontrol.sh Test Proofs #86: Commit d48291a pushed by qian-hu
October 2, 2024 22:11 10s tests-on-client-code
tests-on-client-code
October 2, 2024 22:11 10s
Update lido-ci.yml Test Proofs #85: Commit 831e683 pushed by F-WRunTime
October 2, 2024 18:25 15s develop
develop
October 2, 2024 18:25 15s
Update Kontrol version Test Proofs #84: Commit 2922d2e pushed by qian-hu
September 30, 2024 13:54 18s tests-on-client-code
tests-on-client-code
September 30, 2024 13:54 18s
Merge branch 'lidofinance:develop' into develop Test Proofs #83: Commit 2fcc925 pushed by qian-hu
September 30, 2024 13:49 16s develop
develop
September 30, 2024 13:49 16s
minor corrections, adding syntactics Test Proofs #82: Commit b03139f pushed by PetarMax
September 3, 2024 08:40 12s tests-on-client-code
tests-on-client-code
September 3, 2024 08:40 12s
adding auxiliary lemmas Test Proofs #81: Commit 088597b pushed by PetarMax
September 2, 2024 10:04 12s tests-on-client-code
tests-on-client-code
September 2, 2024 10:04 12s
npm_and_yarn in for ws - Update #874503510 Dependabot Updates #8: by dependabot bot
August 26, 2024 21:32 1m 8s
August 26, 2024 21:32 1m 8s
npm_and_yarn in for elliptic - Update #874503511 Dependabot Updates #7: by dependabot bot
August 26, 2024 21:32 1m 4s
August 26, 2024 21:32 1m 4s
npm_and_yarn in for @openzeppelin/contracts - Update #874503505 Dependabot Updates #6: by dependabot bot
August 26, 2024 21:32 53s
August 26, 2024 21:32 53s
Update lido-ci.yml Test Proofs #80: Commit ef214c7 pushed by F-WRunTime
August 26, 2024 21:32 12s develop
develop
August 26, 2024 21:32 12s
Update lido-ci.yml Slither Analysis #4: Commit ef214c7 pushed by F-WRunTime
August 26, 2024 21:32 1m 19s develop
develop
August 26, 2024 21:32 1m 19s
build(deps): bump micromatch and lint-staged Slither Analysis #3: Pull request #9 opened by dependabot bot
August 26, 2024 21:30 1m 23s dependabot/npm_and_yarn/multi-1ffb7181fc
dependabot/npm_and_yarn/multi-1ffb7181fc
August 26, 2024 21:30 1m 23s
build(deps): bump axios from 1.6.5 to 1.7.5 Slither Analysis #2: Pull request #8 opened by dependabot bot
August 26, 2024 21:29 1m 19s dependabot/npm_and_yarn/axios-1.7.5
dependabot/npm_and_yarn/axios-1.7.5
August 26, 2024 21:29 1m 19s
npm_and_yarn in for @openzeppelin/contracts - Update #874501331 Dependabot Updates #5: by dependabot bot
August 26, 2024 21:28 50s
August 26, 2024 21:28 50s
npm_and_yarn in for ws - Update #874501338 Dependabot Updates #4: by dependabot bot
August 26, 2024 21:28 1m 1s
August 26, 2024 21:28 1m 1s
npm_and_yarn in for axios - Update #874501333 Dependabot Updates #3: by dependabot bot
August 26, 2024 21:28 58s
August 26, 2024 21:28 58s
npm_and_yarn in for micromatch - Update #874501332 Dependabot Updates #2: by dependabot bot
August 26, 2024 21:28 1m 14s
August 26, 2024 21:28 1m 14s
npm_and_yarn in for elliptic - Update #874501330 Dependabot Updates #1: by dependabot bot
August 26, 2024 21:28 1m 10s
August 26, 2024 21:28 1m 10s
Merge pull request #93 from lidofinance/feature/hashconsensus-quorum Slither Analysis #1: Commit 6bf5739 pushed by F-WRunTime
August 26, 2024 21:28 1m 42s develop
develop
August 26, 2024 21:28 1m 42s
Merge pull request #93 from lidofinance/feature/hashconsensus-quorum Test Proofs #79: Commit 6bf5739 pushed by F-WRunTime
August 26, 2024 21:28 15s develop
develop
August 26, 2024 21:28 15s
adjusting lemmas to Kontrol 1.0 Test Proofs #78: Commit a6eb909 pushed by PetarMax
August 24, 2024 18:25 11s tests-on-client-code
tests-on-client-code
August 24, 2024 18:25 11s
Update Kontrol version Test Proofs #77: Commit 9ac62f3 pushed by qian-hu
August 21, 2024 20:55 12s tests-on-client-code
tests-on-client-code
August 21, 2024 20:55 12s
lemma corrections Test Proofs #76: Commit 63727d8 pushed by PetarMax
August 21, 2024 11:16 11s tests-on-client-code
tests-on-client-code
August 21, 2024 11:16 11s
lemma correction Test Proofs #75: Commit 272c711 pushed by PetarMax
August 21, 2024 10:00 13s tests-on-client-code
tests-on-client-code
August 21, 2024 10:00 13s
tweaking parameters Test Proofs #74: Commit 1c9abbc pushed by PetarMax
August 16, 2024 21:12 15s tests-on-client-code
tests-on-client-code
August 16, 2024 21:12 15s