Skip to content

Add default config for user active trigger #1573

Add default config for user active trigger

Add default config for user active trigger #1573

Triggered via push October 30, 2023 17:08
Status Success
Total duration 6h 48m 15s
Artifacts
Mbed OS examples building
1h 54m
Mbed OS examples building
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Mbed OS examples building
`pre` execution is not supported for local action from './.github/actions/checkout-submodules-and-bootstrap'