Merge branch 'topic/gh_refactor' into 'master'

Update GitHub scripts to use `lal-refactor` repo

See merge request eng/ide/ada_language_server!1243

Author: reznikmm

.github/workflows/build-binaries.sh

@@ -18,6 +18,7 @@ fi
 export GPR_PROJECT_PATH=$prefix/share/gpr:\
 $PWD/subprojects/VSS/gnat:\
 $PWD/subprojects/gnatdoc/gnat:\
+$PWD/subprojects/lal-refactor/gnat:\
 $PWD/subprojects/libadalang-tools/src:\
 $PWD/subprojects/spawn/gnat:\
 $PWD/subprojects/stubs

.github/workflows/build-binaries.yml

@@ -4,7 +4,6 @@ on:
       - edge
     tags:
       - 2*.*.*
-  pull_request:
 name: Build binaries
 env:
   DEFAULT_TAG: 23.0.999
@@ -71,6 +70,12 @@ jobs:
           repository: AdaCore/gnatdoc
           path: subprojects/gnatdoc
           ref: edge
+      - name: Get LAL Refactor
+        uses: actions/checkout@v3
+        with:
+          repository: AdaCore/lal-refactor
+          path: subprojects/lal-refactor
+          ref: edge
       - uses: actions/cache@v3
         with:
           path: ./cached_gnat