Skip to content

Use latest ubuntu 22.04 runner instead of 20.04#408

Merged
stefanb merged 1 commit intomasterfrom ubuntu-latestNov 4, 2023

Commits

Commits on Nov 4, 2023