Skip to content
CI

Auto merge of #17395 - davidbarsky:david/remove-unindexed-project-not… #31987

Sign in to view logs

Auto merge of #17395 - davidbarsky:david/remove-unindexed-project-not…

Auto merge of #17395 - davidbarsky:david/remove-unindexed-project-not… #31987

Triggered via push July 23, 2024 17:38
@borsbors
pushed eb5da56
auto
Status Success
Total duration 12m 13s
Artifacts –

ci.yaml

on: push
changes
8s
changes
Rust Cross
1m 13s
Rust Cross
Typo Check
4s
Typo Check
Matrix: Rust
Matrix: TypeScript
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in