Update actions/setup-python action to v5 (#4781)
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: Ernesto García <ernestognw@gmail.com>
This commit is contained in:
2
.github/workflows/formal-verification.yml
vendored
2
.github/workflows/formal-verification.yml
vendored
@ -44,7 +44,7 @@ jobs:
|
|||||||
fi
|
fi
|
||||||
echo "result=$RESULT" >> "$GITHUB_OUTPUT"
|
echo "result=$RESULT" >> "$GITHUB_OUTPUT"
|
||||||
- name: Install python
|
- name: Install python
|
||||||
uses: actions/setup-python@v4
|
uses: actions/setup-python@v5
|
||||||
with:
|
with:
|
||||||
python-version: ${{ env.PIP_VERSION }}
|
python-version: ${{ env.PIP_VERSION }}
|
||||||
cache: 'pip'
|
cache: 'pip'
|
||||||
|
|||||||
Reference in New Issue
Block a user