Skip to content

Auto merge of #3244 - devnexen:redox__sigtimedwait, r=JohnTitor #1983

Auto merge of #3244 - devnexen:redox__sigtimedwait, r=JohnTitor

Auto merge of #3244 - devnexen:redox__sigtimedwait, r=JohnTitor #1983

Triggered via push May 12, 2023 10:19
Status Success
Total duration 1h 0m 45s
Artifacts

bors.yml

on: push
Matrix: Docker Linux Tier1
Style check
20s
Style check
Matrix: macOS
Matrix: Build Channels Windows
Matrix: Windows
Check #[cfg]s
18s
Check #[cfg]s
Matrix: Docker Linux Tier2
Matrix: Docker Linux Build-Std Targets
Matrix: Build Channels macOS
Matrix: Build Channels Linux
Generate documentation
10m 41s
Generate documentation
bors build finished
1s
bors build finished
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in