CI

Rustc pull update #5235

Sign in to view logs

Summary
Jobs
- ci
Run details
- Usage
- Workflow file

Triggered via pull request July 29, 2025 07:48

workflows-rustc-dev-guide[bot]

opened #2522

rustc-pull

Status Success

Total duration 14s

Artifacts –

ci.yml

on: pull_request