Skip to content

ci: switch to ubuntu 22.04 to workaround an apparent gcc 13.2 bug #42

ci: switch to ubuntu 22.04 to workaround an apparent gcc 13.2 bug

ci: switch to ubuntu 22.04 to workaround an apparent gcc 13.2 bug #42