diff --git a/.github/workflows/prs.yml b/.github/workflows/prs.yml index e84eff97..0edce0e2 100644 --- a/.github/workflows/prs.yml +++ b/.github/workflows/prs.yml @@ -36,8 +36,8 @@ 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 @@ -45,8 +45,7 @@ jobs: 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