Skip to content

Fix CI by downgrading to Ubuntu 22.04 #1873

Fix CI by downgrading to Ubuntu 22.04

Fix CI by downgrading to Ubuntu 22.04 #1873

build (--test-successful-rustc --nb-parts 2 --current-part 1)

succeeded Dec 14, 2024 in 21m 50s