Skip to content
formal

[WIP] rtl: Model the power distributing using USE_POWER_PINS define #87

Sign in to view logs

[WIP] rtl: Model the power distributing using USE_POWER_PINS define

[WIP] rtl: Model the power distributing using USE_POWER_PINS define #87

Triggered via push October 24, 2023 16:34
@smunautsmunaut
pushed 127815f
dev
Status Success
Total duration 5m 45s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

formal.yaml

on: push
formal
5m 32s
formal
Fit to window
Zoom out
Zoom in