Update GitHub scripts to use lal-refactor repo

Also disable CI for PR, because it doesn't work for external PR
for security reasons and we don't do internal PR on GitHub any more.

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