Merge branch 'topic/gha_cron' into 'master'

Run GitHub CI on a schedule

Closes #1566

See merge request eng/ide/ada_language_server!1894

Author: reznikmm

.github/workflows/build-binaries.yml

@@ -1,4 +1,11 @@
 on:
+  schedule:
+    - cron:  '0 4 * * 1-5'
+    #         | | | | + day of week (0 - 6 or SUN-SAT)
+    #         | | | +-- month (1 - 12 or JAN-DEC)
+    #         | | +---- day of the month (1 - 31)
+    #         | +------ hour (0 - 23)
+    #         +-------- minute (0 - 59)
   push:
     tags:
       - 2*.*.*