update CI file to use build and buildall

jeffjennings · jeffjennings · commit dde73e16e21e · 2024-10-10T02:17:18.000-04:00
diff --git a/.github/workflows/prs.yml b/.github/workflows/prs.yml
@@ -36,17 +36,16 @@ jobs:
         if: contains(github.event.pull_request.labels.*.name, 'Run all tutorials')
         run: |
           export TUTORIALS_MAIN_BRANCH=origin/main
-          make executeall
-          make convertall
+          make clean
+          make buildall
         shell: bash
 
       # Otherwise, only run tutorials that have been modified
       - name: Run only modified tutorials
         if: "!contains(github.event.pull_request.labels.*.name, 'Run all tutorials')"
         run: |
           export TUTORIALS_MAIN_BRANCH=origin/main
-          make execute
-          make convert
+          make build
         shell: bash
 
       - name: Name artifact
