Merge remote-tracking branch 'origin/stable'

To bring the CI improvements.

.github/workflows/CI.yml

@@ -1,6 +1,14 @@
 name: CI
 
-on: [push, pull_request, workflow_dispatch]
+on:
+  push:
+  pull_request:
+  workflow_dispatch:
+
+  # to execute once a day (more info see https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule )
+  schedule:
+    - cron: "0 0 * * *"
+
 
 # FIXME: figure out why we need to clean after make if we
 # want 'make strict' target to really happen without
@@ -9,7 +17,7 @@ on: [push, pull_request, workflow_dispatch]
 
 jobs:
   macOS--dotnet6-and-mono:
-    runs-on: macOS-latest
+    runs-on: macOS-12
     steps:
     - uses: actions/checkout@v1
       with:
@@ -42,7 +50,7 @@ jobs:
         find . -type f -name "*.fsx" | xargs -t -I {} dotnet fsxc {}
 
   macOS--mono-only:
-    runs-on: macOS-latest
+    runs-on: macOS-12
     steps:
     - uses: actions/checkout@v1
       with:
@@ -65,7 +73,7 @@ jobs:
       run: make update-servers
 
   macOS--dotnet6-only:
-    runs-on: macOS-latest
+    runs-on: macOS-12
     steps:
     - uses: actions/checkout@v1
       with: