fix tutorials.yml

Author: Aishwarya Jagarapu

.github/workflows/tutorials.yml

@@ -19,7 +19,7 @@ jobs:
       with:
         java-version: 11
     - name: Install P as a tool
-      run: dotnet tool install --global p
+      run: ./Bld/build.sh
     - name: Compile Tutorials
       run: ./Src/Scripts/TutorialsChecker/compile.sh ./Tutorial
     - name: Check Tutorials

Src/Scripts/TutorialsChecker/check.sh

@@ -22,7 +22,8 @@ for folder in $folders; do
     echo "------------------------------------------------------"
 
     checkLog="check.log"
-    p check -i ${SCHEDULES} 2>&1 | tee ${checkLog}
+    alias pl='dotnet /Bld/Drops/Release/Binaries/net8.0/p.dll'
+    pl check -i ${SCHEDULES} 2>&1 | tee ${checkLog}
     if grep -q "Possible options are:" ${checkLog}; then
       beginFlag=false
       while IFS=" " read firstWord _; do

Src/Scripts/TutorialsChecker/compile.sh

@@ -18,8 +18,8 @@ for folder in $folders; do
     echo "------------------------------------------------------"
     echo "Compiling $folder!"
     echo "------------------------------------------------------"
-
-    p compile
+    alias pl='dotnet /Bld/Drops/Release/Binaries/net8.0/p.dll'
+    pl compile
 
     # Check and print any errors
     if [ $? -ne 0 ]; then