Skip to content
CI

Merge pull request #2236 from rust-lang/rustc-pull #4124

Sign in to view logs

Merge pull request #2236 from rust-lang/rustc-pull

Merge pull request #2236 from rust-lang/rustc-pull #4124

Triggered via push February 2, 2025 08:31
@JohnTitorJohnTitor
pushed 9350966
master
Status Success
Total duration 15s
Artifacts –

ci.yml

on: push
ci
7s
ci
Fit to window
Zoom out
Zoom in