Skip to content

Auto merge of #3420 - elecm:main, r=JohnTitor #2173

Auto merge of #3420 - elecm:main, r=JohnTitor

Auto merge of #3420 - elecm:main, r=JohnTitor #2173

Triggered via push November 8, 2023 20:45
Status Success
Total duration 57m 6s
Artifacts

bors.yml

on: push
Matrix: Docker Linux Tier1
Style check
15s
Style check
Matrix: macOS
Matrix: Build Channels Windows
Matrix: Windows
Check #[cfg]s
15s
Check #[cfg]s
Matrix: Docker Linux Tier2
Matrix: Docker Linux Build-Std Targets
Matrix: Build Channels macOS
Matrix: Build Channels Linux
bors build finished
2s
bors build finished
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in