Skip to content

Commit

Permalink
Update all dependencies
Browse files Browse the repository at this point in the history
| datasource     | package                              | from   | to    |
| -------------- | ------------------------------------ | ------ | ----- |
| github-tags    | actions/checkout                     | v3     | v4    |
| github-tags    | actions/setup-java                   | v3     | v4    |
| github-tags    | actions/upload-artifact              | v3     | v4    |
| github-runners | macos                                | 11     | 13    |
| github-tags    | stefanzweifel/git-auto-commit-action | v4     | v5    |
| maven          | org.sosy-lab:java-smt                | 3.14.3 | 4.1.0 |
  • Loading branch information
renovate[bot] authored Dec 14, 2023
1 parent fa9fcb8 commit 46f11af
Show file tree
Hide file tree
Showing 5 changed files with 22 additions and 22 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/generate-alpha-tag.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -14,12 +14,12 @@ jobs:

steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
fetch-depth: 0

- name: Set up Java
uses: actions/setup-java@v3
uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: '17'
Expand All @@ -38,13 +38,13 @@ jobs:

steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
fetch-depth: 0
token: ${{ secrets.TOKEN_GITHUB_ACTION }}

- name: Set up Java
uses: actions/setup-java@v3
uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: '17'
Expand Down
8 changes: 4 additions & 4 deletions .github/workflows/generate-tag.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -34,12 +34,12 @@ jobs:

steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
fetch-depth: 0

- name: Set up Java
uses: actions/setup-java@v3
uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: '17'
Expand All @@ -58,13 +58,13 @@ jobs:

steps:
- name: Checkout
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
fetch-depth: 0
token: ${{ secrets.TOKEN_GITHUB_ACTION }}

- name: Set up Java
uses: actions/setup-java@v3
uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: '17'
Expand Down
16 changes: 8 additions & 8 deletions .github/workflows/publish.yml
Original file line number Diff line number Diff line change
Expand Up @@ -29,11 +29,11 @@ jobs:
analysis-version: ${{ steps.get-analysis-version.outputs.analysis-version }}

steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
with:
fetch-depth: 0

- uses: actions/setup-java@v3
- uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: '17'
Expand All @@ -50,7 +50,7 @@ jobs:
echo "::set-output name=analysis-version::$(head -n 1 build/semver/version.txt)"
- name: Upload reports
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: 'reports-${{ matrix.os }}'
path: '**/build/reports/**'
Expand All @@ -71,12 +71,12 @@ jobs:
publish:
needs: build

runs-on: macos-11
runs-on: macos-13

steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4

- uses: actions/setup-java@v3
- uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: '17'
Expand Down Expand Up @@ -126,9 +126,9 @@ jobs:
S3_BUCKET: ${{ secrets.S3_BUCKET }}

steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4

- uses: actions/setup-java@v3
- uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: '17'
Expand Down
10 changes: 5 additions & 5 deletions .github/workflows/pull_request.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,11 +15,11 @@ jobs:
fail-fast: false

steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
with:
fetch-depth: 0

- uses: actions/setup-java@v3
- uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: '17'
Expand All @@ -30,7 +30,7 @@ jobs:
arguments: build --scan --stacktrace

- name: Upload reports
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: 'reports-${{ matrix.os }}'
path: '**/build/reports/**'
Expand All @@ -53,7 +53,7 @@ jobs:
timeout-minutes: 20

steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
with:
fetch-depth: 0

Expand All @@ -66,7 +66,7 @@ jobs:
run: ./gradlew --stop

- name: "Commit new API files"
uses: stefanzweifel/git-auto-commit-action@v4
uses: stefanzweifel/git-auto-commit-action@v5
with:
commit_message: Update API files
file_pattern: /**/api/*.api
2 changes: 1 addition & 1 deletion gradle/projects.libs.versions.toml
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ junit = "5.9.2"
junitLauncher = "1.9.2"
kotlin = "1.8.21"
kotest = "5.6.1"
javaSmt = "3.14.3"
javaSmt = "4.1.0"
javaCompileTesting = "0.21.0"
apacheCommonsText = "1.10.0"
sarif4k = "0.3.0"
Expand Down

0 comments on commit 46f11af

Please sign in to comment.