Skip to content

Commit

Permalink
update CI file to use build and buildall
Browse files Browse the repository at this point in the history
  • Loading branch information
jeffjennings committed Oct 10, 2024
1 parent 2030aa0 commit dde73e1
Showing 1 changed file with 3 additions and 4 deletions.
7 changes: 3 additions & 4 deletions .github/workflows/prs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit dde73e1

Please sign in to comment.