Skip to content
zephyr port

ports/zephyr: Make time.sleep() and friends thread safe. #108

Sign in to view logs

ports/zephyr: Make time.sleep() and friends thread safe.

ports/zephyr: Make time.sleep() and friends thread safe. #108

Triggered via push August 8, 2025 07:56
@danicamporadanicampora
pushed 168d12f
threading_fix_pr
Status Cancelled
Total duration 3m 57s
Artifacts –

ports_zephyr.yml

on: push
build
3m 49s
build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build
The operation was canceled.
build
Canceling since a higher priority waiting request for zephyr port-refs/heads/threading_fix_pr exists
zephyr port
Canceling since a higher priority waiting request for zephyr port-refs/heads/threading_fix_pr exists