Merge pull request #3895 from rust-lang/Noratrieb-patch-1 · rust-lang/rfcs@f60340c

Triggered via push December 11, 2025 19:25

Urgau

master

Status Success

Total duration 29s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	12.6 MB	`sha256:ec54c24e6330d508bc8b861eb32a4449d801988418cd9a22c98460471e93ffd8`