Merge pull request #3877 from ehuss/extra-watch · rust-lang/rfcs@9e98801

Triggered via push November 8, 2025 10:55

Urgau

master

Status Success

Total duration 29s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	11.5 MB	`sha256:b08d4fa0c5e129d0facc56ac5332b79b8c3b1083e986fe572d525cecd9088153`