Skip to content

Auto merge of #3368 - 0323pin:main, r=JohnTitor #2090

Auto merge of #3368 - 0323pin:main, r=JohnTitor

Auto merge of #3368 - 0323pin:main, r=JohnTitor #2090

Triggered via push September 29, 2023 17:33
Status Success
Total duration 57m 44s
Artifacts

bors.yml

on: push
Matrix: Docker Linux Tier1
Style check
18s
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 23s
Generate documentation
bors build finished
3s
bors build finished
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in