Skip to content

Fix CI by downgrading to Ubuntu 22.04 #1039

Fix CI by downgrading to Ubuntu 22.04

Fix CI by downgrading to Ubuntu 22.04 #1039

build (--mini-tests)

succeeded Dec 14, 2024 in 5m 58s