Skip to content
Back to pull request #30206

[Kotlin] Make timedInvokeTimeoutMs field non-optional if mustUseTimed attribute is set #63906

Sign in to view logs

[Kotlin] Make timedInvokeTimeoutMs field non-optional if mustUseTimed attribute is set

[Kotlin] Make timedInvokeTimeoutMs field non-optional if mustUseTimed attribute is set #63906

Triggered via pull request November 3, 2023 20:23
@yufengwangcayufengwangca
synchronize #30206
pr/kotlin/timed
Status Success
Total duration 13m 12s
Artifacts –

examples-mbed.yaml

on: pull_request
Mbed OS examples building
12m 56s
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'