Skip to content
Pull Request Labeler

Rust: Improve and rename Adt class #51187

Sign in to view logs

Rust: Improve and rename Adt class

Rust: Improve and rename Adt class #51187

Triggered via pull request December 17, 2025 12:57
@paldepindpaldepind
synchronize #21059
Status Success
Total duration 13s
Artifacts –

labeler.yml

on: pull_request_target
triage
4s
triage
Fit to window
Zoom out
Zoom in