[CI] Fix sharding conditionals (#11730)

This commit is contained in:
Sebastian Rittau
2024-04-07 19:32:50 +02:00
committed by GitHub
parent 26383eed33
commit 21b90d44fc

View File

@@ -64,11 +64,11 @@ jobs:
with:
name: mypy_primer_diff_${{ matrix.shard-index }}
path: diff_${{ matrix.shard-index }}.txt
- if: ${{ matrix.shard-index }} == 0
- if: ${{ matrix.shard-index == 0 }}
name: Save PR number
run: |
echo ${{ github.event.pull_request.number }} | tee pr_number.txt
- if: ${{ matrix.shard-index }} == 0
- if: ${{ matrix.shard-index == 0 }}
name: Upload PR number
uses: actions/upload-artifact@v3
with: