Skip to content

Auto merge of #3358 - JohnTitor:fix/disable-1.13-ci, r=JohnTitor #2065

Auto merge of #3358 - JohnTitor:fix/disable-1.13-ci, r=JohnTitor

Auto merge of #3358 - JohnTitor:fix/disable-1.13-ci, r=JohnTitor #2065

Triggered via push September 21, 2023 15:26
Status Success
Total duration 55m 52s
Artifacts

bors.yml

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