Skip to content

ci: upgrade to using macos-13#1607

Closed
dscho wants to merge 1 commit intogitgitgadget:masterfrom dscho:switch-ci-to-macos-13

Commits

Commits on Nov 2, 2023