[tmp] Use GITHUB_WORKSPACE

AdaCore · Aug 10, 2024 · a38a3c0 · a38a3c0
1 parent e28a984
commit a38a3c0
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/sphinx-books-tests.js.yml b/.github/workflows/sphinx-books-tests.js.yml
@@ -50,12 +50,12 @@ jobs:
         poppler-utils
     - name: Install GNAT FSF
       run: |
-        path_ada_toolchain_root=$(crudini --get ./frontend/py_modules/code_projects/toolchain.ini toolchain_path root)
-        path_ada_toolchain_default=$(crudini --get ./frontend/py_modules/code_projects/toolchain.ini toolchain_path default)
-        path_ada_toolchain_selected=$(crudini --get ./frontend/py_modules/code_projects/toolchain.ini toolchain_path selected)
-        default_version_gnat=$(crudini --get ./frontend/py_modules/code_projects/toolchain.ini default_version gnat)
-        default_version_gnatprove=$(crudini --get ./frontend/py_modules/code_projects/toolchain.ini default_version gnatprove)
-        default_version_gprbuild=$(crudini --get ./frontend/py_modules/code_projects/toolchain.ini default_version gprbuild)
+        path_ada_toolchain_root=$(crudini --get ${GITHUB_WORKSPACE}/frontend/py_modules/code_projects/toolchain.ini toolchain_path root)
+        path_ada_toolchain_default=$(crudini --get ${GITHUB_WORKSPACE}/frontend/py_modules/code_projects/toolchain.ini toolchain_path default)
+        path_ada_toolchain_selected=$(crudini --get ${GITHUB_WORKSPACE}/frontend/py_modules/code_projects/toolchain.ini toolchain_path selected)
+        default_version_gnat=$(crudini --get ${GITHUB_WORKSPACE}/frontend/py_modules/code_projects/toolchain.ini default_version gnat)
+        default_version_gnatprove=$(crudini --get ${GITHUB_WORKSPACE}/frontend/py_modules/code_projects/toolchain.ini default_version gnatprove)
+        default_version_gprbuild=$(crudini --get ${GITHUB_WORKSPACE}/frontend/py_modules/code_projects/toolchain.ini default_version gprbuild)
         echo path_ada_toolchain_root:      $path_ada_toolchain_root
         echo path_ada_toolchain_default:   $path_ada_toolchain_default
         echo path_ada_toolchain_selected:  $path_ada_toolchain_selected