mirror of
https://github.com/servo/servo.git
synced 2025-08-06 14:10:11 +01:00
Add wpt-report output & continue if filtering failed (#31616)
* Add wpt-report artifact * Merge logs (filtered) are last so we still get other logs merged * fixup * it's wptreport.json * wptreport in full artifact * Apply suggestions from code review Co-authored-by: Martin Robinson <mrobinson@igalia.com> --------- Co-authored-by: Martin Robinson <mrobinson@igalia.com>
This commit is contained in:
parent
48fa77df67
commit
da609076c3
1 changed files with 9 additions and 7 deletions
16
.github/workflows/linux-wpt.yml
vendored
16
.github/workflows/linux-wpt.yml
vendored
|
@ -70,7 +70,8 @@ jobs:
|
|||
${{ inputs.wpt-tests-to-run }} \
|
||||
--${{ inputs.profile }} --processes $(nproc) --timeout-multiplier 2 \
|
||||
--total-chunks ${{ env.max_chunk_id }} --this-chunk ${{ matrix.chunk_id }} \
|
||||
--log-raw wpt-full-logs/linux-${{ inputs.wpt-layout }}/${{ matrix.chunk_id }}.log \
|
||||
--log-raw wpt-full-logs/linux-${{ inputs.wpt-layout }}/raw/${{ matrix.chunk_id }}.log \
|
||||
--log-wptreport wpt-full-logs/linux-${{ inputs.wpt-layout }}/wptreport/${{ matrix.chunk_id }}.json \
|
||||
--log-raw-unexpected wpt-filtered-logs/linux-${{ inputs.wpt-layout }}/${{ matrix.chunk_id }}.log \
|
||||
--filter-intermittents wpt-filtered-logs/linux-${{ inputs.wpt-layout }}/${{ matrix.chunk_id }}.json
|
||||
env:
|
||||
|
@ -94,18 +95,19 @@ jobs:
|
|||
if: ${{ always() }}
|
||||
needs: linux-wpt
|
||||
steps:
|
||||
- name: Merge logs (filtered)
|
||||
uses: actions/upload-artifact/merge@v4
|
||||
with:
|
||||
name: wpt-filtered-logs-linux-${{ inputs.wpt-layout }}
|
||||
pattern: wpt-filtered-logs-linux-${{ inputs.wpt-layout }}-*
|
||||
delete-merged: true
|
||||
- name: Merge logs (full)
|
||||
uses: actions/upload-artifact/merge@v4
|
||||
with:
|
||||
name: wpt-full-logs-linux-${{ inputs.wpt-layout }}
|
||||
pattern: wpt-full-logs-linux-${{ inputs.wpt-layout }}-*
|
||||
delete-merged: true
|
||||
# This job needs to be last. If no filtered results were uploaded, it will fail, but we want to merge other archives in that case.
|
||||
- name: Merge logs (filtered)
|
||||
uses: actions/upload-artifact/merge@v4
|
||||
with:
|
||||
name: wpt-filtered-logs-linux-${{ inputs.wpt-layout }}
|
||||
pattern: wpt-filtered-logs-linux-${{ inputs.wpt-layout }}-*
|
||||
delete-merged: true
|
||||
- uses: actions/checkout@v4
|
||||
if: ${{ !cancelled() && !inputs.wpt-sync-from-upstream }}
|
||||
- uses: actions/download-artifact@v4
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue