Merge branch 'devel' into extccomp-fix-cc-hint

Author: alaviss

.github/workflows/ci.yml

@@ -81,7 +81,7 @@ jobs:
             },
             {
               "name": "macOS",
-              "runner": "macos-13"
+              "runner": "macos-15-intel"
             },
             {
               "name": "macOS (M1)",