File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -414,17 +414,12 @@ jobs:
414414 make install
415415
416416 - name : Install setuptools and wheel
417- if : ${{ env.PYTHON >= 3.12 }}
418417 run : |
419418 python${{env.PYTHON}} -m pip install setuptools wheel
419+
420420 - name : Add custom problem matchers for annotations
421421 run : echo "::add-matcher::.github/problem-matchers.json"
422422
423- - name : Install setuptools and wheel
424- if : ${{ env.PYTHON >= 3.12 }}
425- run : |
426- python${{env.PYTHON}} -m pip install setuptools wheel
427-
428423 # This patches a bug where ManyLinux doesn't generate buildnumber as git dir is owned by diff user
429424 - name : Enable git safe-directory
430425 run : git config --global --add safe.directory $GITHUB_WORKSPACE
Original file line number Diff line number Diff line change @@ -134,7 +134,6 @@ jobs:
134134 make install
135135
136136 - name : Install setuptools and wheel
137- if : ${{ env.PYTHON >= 3.12 }}
138137 run : |
139138 python${{env.PYTHON}} -m pip install setuptools wheel
140139
You can’t perform that action at this time.
0 commit comments