Skip to content

formal-models: extend dBFT with additional post-commit phase #79

formal-models: extend dBFT with additional post-commit phase

formal-models: extend dBFT with additional post-commit phase #79

Triggered via pull request June 24, 2024 11:50
Status Success
Total duration 38s
Artifacts

build.yml

on: pull_request
Run simulation
28s
Run simulation
Fit to window
Zoom out
Zoom in