Skip to content

Use ubuntu:24.04 for the x86_64-gnu-miri job#149807

Merged
bors merged 1 commit intorust-lang:mainfrom
Kobzol:miri-ubuntu-24.04
Dec 12, 2025
Merged

Use ubuntu:24.04 for the x86_64-gnu-miri job#149807
bors merged 1 commit intorust-lang:mainfrom
Kobzol:miri-ubuntu-24.04

Commits

Commits on Dec 10, 2025