Long Verification

Refactor `js_generic` to use common `DynamicJSEndpointRegistry` hierarchy, and expose as an extensible public header #635

Sign in to view logs

Triggered via pull request December 19, 2024 15:01

eddyashton

synchronize #6710

eddyashton:js_generic_is_programmability

Status Skipped

Total duration 3s

Artifacts –

long-verification.yml

on: pull_request

Model Checking With Atomic Reconfig - Consensus

Model Checking With Reconfig - Consensus

Simulation - Consensus