Skip to content

Log workflow inputs in check_diff.sh#6741

Merged
Manishearth merged 1 commit intorust-lang:mainfrom
jieyouxu:diff-check-log-inputs
Dec 9, 2025
Merged

Log workflow inputs in `check_diff.sh`#6741
Manishearth merged 1 commit intorust-lang:mainfrom
jieyouxu:diff-check-log-inputs

Commits

Commits on Dec 9, 2025