Compile profiles in macOS runner

Author: albinahlback

.github/workflows/CI.yml

@@ -340,6 +340,10 @@ jobs:
         run: |
           $MAKE tests
 
+      - name: "Compile profiles"
+        run: |
+          $MAKE profile
+
       - name: "Check"
         run: |
           $MAKE check