Skip to content

IF: Merge main (mostly block_state and block_header_state renaming) into hotstuff_integration branch (12/06/2023) #3934

IF: Merge main (mostly block_state and block_header_state renaming) into hotstuff_integration branch (12/06/2023)

IF: Merge main (mostly block_state and block_header_state renaming) into hotstuff_integration branch (12/06/2023) #3934

Triggered via pull request December 7, 2023 01:16
Status Success
Total duration 2m 53s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

submod.yaml

on: pull_request
Submodule Regression Check
2m 43s
Submodule Regression Check
Fit to window
Zoom out
Zoom in