Skip to content

Bump OS used for CI#181

Merged
amorde merged 2 commits intomasterfrom amorde/update-ci-runnersOct 26, 2023

Commits