Skip to content

Fix CI by downgrading to Ubuntu 22.04 #1067

Fix CI by downgrading to Ubuntu 22.04

Fix CI by downgrading to Ubuntu 22.04 #1067

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

succeeded Dec 14, 2024 in 42s