Update actions/setup-java action to v4 (#4770)
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
This commit is contained in:
2
.github/workflows/formal-verification.yml
vendored
2
.github/workflows/formal-verification.yml
vendored
@ -52,7 +52,7 @@ jobs:
|
|||||||
- name: Install python packages
|
- name: Install python packages
|
||||||
run: pip install -r fv-requirements.txt
|
run: pip install -r fv-requirements.txt
|
||||||
- name: Install java
|
- name: Install java
|
||||||
uses: actions/setup-java@v3
|
uses: actions/setup-java@v4
|
||||||
with:
|
with:
|
||||||
distribution: temurin
|
distribution: temurin
|
||||||
java-version: ${{ env.JAVA_VERSION }}
|
java-version: ${{ env.JAVA_VERSION }}
|
||||||
|
|||||||
Reference in New Issue
Block a user