Skip to content
CI

fix: pick up new names when the name conflicts in 'introduce_named_generic' #29020

Sign in to view logs

fix: pick up new names when the name conflicts in 'introduce_named_generic'

fix: pick up new names when the name conflicts in 'introduce_named_generic' #29020

Triggered via pull request December 10, 2023 16:53
@roiferoife
synchronize #16068
roife:fix-introduce-named-generic-name-conflicts
Status Success
Total duration 9m 3s
Artifacts –

ci.yaml

on: pull_request
changes
5s
changes
Rust Cross
1m 15s
Rust Cross
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