Skip to content

Commit dde73e1

Browse files
committed
update CI file to use build and buildall
1 parent 2030aa0 commit dde73e1

File tree

1 file changed

+3
-4
lines changed

1 file changed

+3
-4
lines changed

.github/workflows/prs.yml

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -36,17 +36,16 @@ jobs:
3636
if: contains(github.event.pull_request.labels.*.name, 'Run all tutorials')
3737
run: |
3838
export TUTORIALS_MAIN_BRANCH=origin/main
39-
make executeall
40-
make convertall
39+
make clean
40+
make buildall
4141
shell: bash
4242

4343
# Otherwise, only run tutorials that have been modified
4444
- name: Run only modified tutorials
4545
if: "!contains(github.event.pull_request.labels.*.name, 'Run all tutorials')"
4646
run: |
4747
export TUTORIALS_MAIN_BRANCH=origin/main
48-
make execute
49-
make convert
48+
make build
5049
shell: bash
5150

5251
- name: Name artifact

0 commit comments

Comments
 (0)