Skip to content

Fix CI by setting macos 13 on github actions#845

Merged
DmitriyKirakosyan merged 1 commit intomasterfrom fix-ciJun 27, 2024