Skip to content
Enforce PR labels

GRANDPA formal verification grant proposal #344

Sign in to view logs

GRANDPA formal verification grant proposal

GRANDPA formal verification grant proposal #344

Triggered via pull request January 25, 2024 02:12
@AltiMarioAltiMario
synchronize #2176
AltiMario:grandpa-formal-verification
Status Success
Total duration 25s
Artifacts –

enforce-label.yml

on: pull_request
enforce-label
16s
enforce-label
Fit to window
Zoom out
Zoom in