Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 8dc94ac

Browse files
committedApr 12, 2024··
Test
1 parent 72548a5 commit 8dc94ac

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed
 

‎.github/workflows/pre-commit.yml

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -40,21 +40,24 @@ jobs:
4040

4141
- name: Wait for other jobs to finish
4242
uses: lewagon/wait-on-check-action@v1.3.4
43+
id: wait-on-jobs
4344
continue-on-error: true
4445
with:
4546
ref: ${{ github.event.pull_request.head.sha || github.sha }}
4647
repo-token: ${{ secrets.GITHUB_TOKEN }}
4748
wait-interval: 30
48-
check-regexp: '^Arduino [0-9]+ on ubuntu-latest$'
49+
#check-regexp: '^Arduino [0-9]+ on ubuntu-latest$'
50+
check-regexp: '^Arduino 3 on ubuntu-latest$'
4951

5052
- name: Get compilation workflow ID
5153
id: save-workflow-id
54+
if: ${{ steps.wait-on-jobs.outcome != 'success' }}
5255
env:
5356
GH_TOKEN: ${{ github.token }}
5457
run: |
5558
RUNID=$(gh api repos/${{ github.repository }}/commits/${{ github.event.pull_request.head.sha }}/check-runs | jq -r '.check_runs[] | select(.name|test("Arduino [0-9]+ on ubuntu-latest")) | .html_url | capture("/runs/(?<number>[0-9]+)/job") | .number' | sed 's/"//g' | head -n 1)
56-
echo "RUNID=$RUNID" >> $GITHUB_ENV
5759
echo "Arduino compilation workflow ID: $RUNID"
60+
# echo "RUNID=$RUNID" >> $GITHUB_ENV
5861
5962
- name: Download compilation artifacts
6063
uses: actions/download-artifact@v4

0 commit comments

Comments
 (0)
Please sign in to comment.