Merge branch 'topic/fetch_edge' into 'master'

Use edge branch in scheduled builds on GitHub

Closes #1566

See merge request eng/ide/ada_language_server!1899

Author: reznikmm

.github/workflows/build-binaries.yml

@@ -47,6 +47,10 @@ jobs:
         uses: actions/checkout@v3
         with:
           fetch-depth: 0
+      - name: Fetch edge branch (for scheduled build only)
+        shell: bash
+        if: github.event.schedule
+        run: git checkout edge
       - name: Get GNAT toolchain with alire
         shell: bash
         run: |