Skip to content

Auto merge of #3249 - joshtriplett:switch-to-main, r=Amanieu #1986

Auto merge of #3249 - joshtriplett:switch-to-main, r=Amanieu

Auto merge of #3249 - joshtriplett:switch-to-main, r=Amanieu #1986

Triggered via push May 15, 2023 15:16
Status Success
Total duration 1h 21m 15s
Artifacts

bors.yml

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