Skip to content

CI: replace Ubuntu 20.04 with Ubuntu 22.04 #204

CI: replace Ubuntu 20.04 with Ubuntu 22.04

CI: replace Ubuntu 20.04 with Ubuntu 22.04 #204

Annotations

1 error and 1 warning

Ubuntu 64-bit (ubuntu-22.04, 17, gcc)

failed Oct 10, 2024 in 18s