djsundog/circuitpython
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix empty exclude commit

Browse Source
This commit is contained in:
MicroDev 2023-02-22 20:30:21 +05:30
parent 1ea21cc8fc
commit f4f95ada79
No known key found for this signature in database
GPG Key ID: 2C0867BE60967730
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
.github/workflows/build.yml vendored
View File

@ -54,6 +54,10 @@ jobs:
uses: ./.github/actions/deps/external uses: ./.github/actions/deps/external
with: with:
action: cache action: cache
- name: Set up mpy-cross
uses: ./.github/actions/mpy_cross
with:
download: false
- name: Get last commit with checks - name: Get last commit with checks
id: get-last-commit-with-checks id: get-last-commit-with-checks
if: github.event_name == 'pull_request' if: github.event_name == 'pull_request'
@ -63,14 +67,10 @@ jobs:
REPO: ${{ github.repository }} REPO: ${{ github.repository }}
PULL: ${{ github.event.number }} PULL: ${{ github.event.number }}
GITHUB_TOKEN: ${{ github.token }} GITHUB_TOKEN: ${{ github.token }}
EXCLUDE_COMMIT: ${{ github.event.after }} EXCLUDE_COMMIT: ${{ github.event.pull_request.head.sha }}
- name: Set up mpy-cross
uses: ./.github/actions/mpy_cross
with:
download: false
- name: Set head sha - name: Set head sha
if: github.event_name == 'pull_request' if: github.event_name == 'pull_request'
run: echo "HEAD_SHA=$(git show -s --format=%s $GITHUB_SHA | grep -o -P "(?<=Merge ).*(?= into)")" >> $GITHUB_ENV run: echo "HEAD_SHA=${{ github.event.pull_request.head.sha }}" >> $GITHUB_ENV
- name: Set base sha - name: Set base sha
if: github.event_name == 'pull_request' if: github.event_name == 'pull_request'
run: | run: |