Skip to content

tests: delete cat-and-grep-sanity-check#135824

Merged
bors merged 1 commit intorust-lang:masterfrom
jieyouxu:delete-bintools-check
Jan 22, 2025
Merged

tests: delete `cat-and-grep-sanity-check`#135824
bors merged 1 commit intorust-lang:masterfrom
jieyouxu:delete-bintools-check

Commits

Commits on Jan 21, 2025