Skip to content

CI: replace Ubuntu 20.04 with Ubuntu 22.04#254

Open
vmihalko wants to merge 1 commit intosvcomp24from vmihalko-CI-bump
+30-20

Commits