Skip to content

Remove MIPS from CI#1448

Merged
Amanieu merged 2 commits intorust-lang:masterfrom
Amanieu:remove-mips
Jul 29, 2023
Merged

Remove MIPS from CI#1448
Amanieu merged 2 commits intorust-lang:masterfrom
Amanieu:remove-mips

Commits

Commits on Jul 29, 2023