Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
check outputs
Browse files Browse the repository at this point in the history
kmuehlbauer committed Aug 12, 2024
1 parent 7eb4520 commit 3c628e0
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions .github/workflows/build-book-pullrequest.yaml
Original file line number Diff line number Diff line change
@@ -42,9 +42,8 @@ jobs:
run: |
# check if binder-folder has changed
# if changed, then a docker rebuild is needed
# git fetch origin main
echo $(git diff ${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }} -- binder)
echo $(git diff ${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }} -- notebooks)
echo "binder" $(git diff --quiet ${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }} -- binder|| echo changed)
echo "notebooks" $(git diff --quiet ${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }} -- notebooks || echo changed)
echo "REBUILD=$(git diff --quiet ${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }} -- binder || echo changed)" >> $GITHUB_ENV
- name: remove Dockerfile
run: |

0 comments on commit 3c628e0

Please sign in to comment.