Skip to content

Commit 2b0d703

Browse files
dependabot[bot]dependabot[bot]
authored
Bump the all group across 1 directory with 4 updates (#555)
Bumps the all group with 4 updates in the / directory: [actions/checkout](https://github.com/actions/checkout), [actions/upload-artifact](https://github.com/actions/upload-artifact), [actions/download-artifact](https://github.com/actions/download-artifact) and [actions/setup-node](https://github.com/actions/setup-node). Updates `actions/checkout` from 5 to 6 - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](actions/checkout@v5...v6) Updates `actions/upload-artifact` from 4 to 5 - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](actions/upload-artifact@v4...v5) Updates `actions/download-artifact` from 5 to 6 - [Release notes](https://github.com/actions/download-artifact/releases) - [Commits](actions/download-artifact@v5...v6) Updates `actions/setup-node` from 5 to 6 - [Release notes](https://github.com/actions/setup-node/releases) - [Commits](actions/setup-node@v5...v6) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '6' dependency-type: direct:production update-type: version-update:semver-major dependency-group: all - dependency-name: actions/upload-artifact dependency-version: '5' dependency-type: direct:production update-type: version-update:semver-major dependency-group: all - dependency-name: actions/download-artifact dependency-version: '6' dependency-type: direct:production update-type: version-update:semver-major dependency-group: all - dependency-name: actions/setup-node dependency-version: '6' dependency-type: direct:production update-type: version-update:semver-major dependency-group: all ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 parent d422b5c commit 2b0d703

File tree

4 files changed

+24
-24
lines changed

4 files changed

+24
-24
lines changed

‎.github/workflows/license-check.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ jobs:
1717
runs-on: ubuntu-latest
1818
steps:
1919
- name: Checkout Gobra-IDE
20-
uses: actions/checkout@v5
20+
uses: actions/checkout@v6
2121
- name: Check license headers
2222
uses: viperproject/check-license-header@v2
2323
with:

‎.github/workflows/test.yml‎

Lines changed: 21 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ jobs:
3636
container: gobraverifier/gobra-base:v5_z3_4.8.7
3737
steps:
3838
- name: Checkout Gobra-IDE
39-
uses: actions/checkout@v5
39+
uses: actions/checkout@v6
4040
with:
4141
path: gobra-ide
4242
submodules: recursive
@@ -68,7 +68,7 @@ jobs:
6868
echo "Silver: commit ${{ env.SILICON_SILVER_REF }}" >> versions.txt
6969
# first line overwrites versions.txt in case it already exists, all other append to the file
7070
- name: Upload version file
71-
uses: actions/upload-artifact@v4
71+
uses: actions/upload-artifact@v5
7272
with:
7373
name: versions.txt
7474
path: versions.txt
@@ -96,7 +96,7 @@ jobs:
9696
working-directory: gobra-ide/server
9797

9898
- name: Upload Gobra server artifact
99-
uses: actions/upload-artifact@v4
99+
uses: actions/upload-artifact@v5
100100
with:
101101
name: server.jar
102102
path: gobra-ide/server/target/scala-2.13/server.jar
@@ -127,7 +127,7 @@ jobs:
127127
run: sudo apt-get install zip unzip
128128

129129
- name: Download Gobra server artifact
130-
uses: actions/download-artifact@v5
130+
uses: actions/download-artifact@v6
131131
with:
132132
name: server.jar
133133

@@ -156,7 +156,7 @@ jobs:
156156
working-directory: ${{ matrix.gobra-tools-platform }}
157157

158158
- name: Upload Gobra Tools
159-
uses: actions/upload-artifact@v4
159+
uses: actions/upload-artifact@v5
160160
with:
161161
name: ${{ matrix.gobra-tools-platform }}.zip
162162
path: deploy/${{ matrix.gobra-tools-platform }}.zip
@@ -166,7 +166,7 @@ jobs:
166166
runs-on: ubuntu-latest
167167
steps:
168168
- name: Checkout Gobra-IDE
169-
uses: actions/checkout@v5
169+
uses: actions/checkout@v6
170170
with:
171171
path: gobra-ide
172172
# we do not need any submodules here as we only test the client
@@ -200,13 +200,13 @@ jobs:
200200
runs-on: ${{ matrix.os }}
201201
steps:
202202
- name: Checkout Gobra-IDE
203-
uses: actions/checkout@v5
203+
uses: actions/checkout@v6
204204
with:
205205
path: gobra-ide
206206
# we do not need any submodules here as we only test the client
207207

208208
- name: Download Gobra tools
209-
uses: actions/download-artifact@v5
209+
uses: actions/download-artifact@v6
210210
id: tools-download
211211
with:
212212
name: ${{matrix.gobra-tools-zip-file}}
@@ -218,7 +218,7 @@ jobs:
218218
working-directory: local
219219

220220
- name: Install Node.js
221-
uses: actions/setup-node@v5
221+
uses: actions/setup-node@v6
222222
with:
223223
node-version: '20'
224224

@@ -300,7 +300,7 @@ jobs:
300300

301301
- name: Upload packaged Gobra-IDE (only once)
302302
if: startsWith(matrix.os, 'ubuntu') && endsWith(matrix.config-file, 'local.json')
303-
uses: actions/upload-artifact@v4
303+
uses: actions/upload-artifact@v5
304304
with:
305305
name: gobra-ide.vsix
306306
path: gobra-ide/client/gobra-ide.vsix
@@ -313,29 +313,29 @@ jobs:
313313
runs-on: ubuntu-latest
314314
steps:
315315
- name: Download Gobra Tools for Windows
316-
uses: actions/download-artifact@v5
316+
uses: actions/download-artifact@v6
317317
with:
318318
name: GobraToolsWin.zip
319319
path: deploy
320320
- name: Download Gobra Tools for Linux
321-
uses: actions/download-artifact@v5
321+
uses: actions/download-artifact@v6
322322
with:
323323
name: GobraToolsLinux.zip
324324
path: deploy
325325
- name: Download Gobra Tools for macOS
326-
uses: actions/download-artifact@v5
326+
uses: actions/download-artifact@v6
327327
with:
328328
name: GobraToolsMac.zip
329329
path: deploy
330330

331331
- name: Download packaged Gobra IDE
332-
uses: actions/download-artifact@v5
332+
uses: actions/download-artifact@v6
333333
with:
334334
name: gobra-ide.vsix
335335
path: gobra-ide/client
336336

337337
- name: Download version file
338-
uses: actions/download-artifact@v5
338+
uses: actions/download-artifact@v6
339339
with:
340340
name: versions.txt
341341

@@ -403,35 +403,35 @@ jobs:
403403
steps:
404404
# we have to checkout the repo to read client/package.json later on:
405405
- name: Checkout Gobra-IDE
406-
uses: actions/checkout@v5
406+
uses: actions/checkout@v6
407407
with:
408408
path: gobra-ide
409409
# we do not need any submodules here as we only test the client
410410

411411
- name: Download Gobra Tools for Windows
412-
uses: actions/download-artifact@v5
412+
uses: actions/download-artifact@v6
413413
with:
414414
name: GobraToolsWin.zip
415415
path: deploy
416416
- name: Download Gobra Tools for Linux
417-
uses: actions/download-artifact@v5
417+
uses: actions/download-artifact@v6
418418
with:
419419
name: GobraToolsLinux.zip
420420
path: deploy
421421
- name: Download Gobra Tools for macOS
422-
uses: actions/download-artifact@v5
422+
uses: actions/download-artifact@v6
423423
with:
424424
name: GobraToolsMac.zip
425425
path: deploy
426426

427427
- name: Download packaged Gobra IDE
428-
uses: actions/download-artifact@v5
428+
uses: actions/download-artifact@v6
429429
with:
430430
name: gobra-ide.vsix
431431
path: gobra-ide/client
432432

433433
- name: Download version file
434-
uses: actions/download-artifact@v5
434+
uses: actions/download-artifact@v6
435435
with:
436436
name: versions.txt
437437

‎.github/workflows/update-submodules.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ jobs:
1717
runs-on: ubuntu-latest
1818
steps:
1919
- name: Check out the repo
20-
uses: actions/checkout@v5
20+
uses: actions/checkout@v6
2121
with:
2222
submodules: true
2323

‎.github/workflows/update-vscode.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ jobs:
1818
runs-on: ubuntu-latest
1919
steps:
2020
- name: Check out the repo
21-
uses: actions/checkout@v5
21+
uses: actions/checkout@v6
2222

2323
- name: Update VS Code version used by the tests
2424
run: |

0 commit comments

Comments
 (0)