Skip to content

ci: use ubuntu-22.04 were needed#1261

Merged
sreimers merged 2 commits intomainfrom coverage_ubuntu_22_04Jan 10, 2025

Commits

Commits on Jan 10, 2025