Skip to content

Downgrade CI support for MIPS#3429

Merged
bors merged 1 commit intorust-lang:mainfrom
JohnTitor:mips-is-now-tier3
Nov 11, 2023
Merged

Downgrade CI support for MIPS#3429
bors merged 1 commit intorust-lang:mainfrom
JohnTitor:mips-is-now-tier3

Commits

Commits on Nov 11, 2023