Skip to content

Commit f1ac03f

Browse files
Bump docker/login-action from 3 to 4
Bumps [docker/login-action](https://github.com/docker/login-action) from 3 to 4. - [Release notes](https://github.com/docker/login-action/releases) - [Commits](docker/login-action@v3...v4) --- updated-dependencies: - dependency-name: docker/login-action dependency-version: '4' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>
1 parent 078ac4e commit f1ac03f

4 files changed

Lines changed: 36 additions & 36 deletions

File tree

.github/workflows/build-push-oxcaml.yml

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -75,14 +75,14 @@ jobs:
7575

7676
- name: Login to Docker Hub
7777
if: github.event_name != 'pull_request'
78-
uses: docker/login-action@v3
78+
uses: docker/login-action@v4
7979
with:
8080
username: ${{ secrets.DOCKERHUB_USERNAME }}
8181
password: ${{ secrets.DOCKERHUB_TOKEN }}
8282

8383
- name: Login to GitHub Container Registry
8484
if: github.event_name != 'pull_request'
85-
uses: docker/login-action@v3
85+
uses: docker/login-action@v4
8686
with:
8787
registry: ghcr.io
8888
username: ${{ github.actor }}
@@ -125,14 +125,14 @@ jobs:
125125

126126
- name: Login to Docker Hub
127127
if: github.event_name != 'pull_request'
128-
uses: docker/login-action@v3
128+
uses: docker/login-action@v4
129129
with:
130130
username: ${{ secrets.DOCKERHUB_USERNAME }}
131131
password: ${{ secrets.DOCKERHUB_TOKEN }}
132132

133133
- name: Login to GitHub Container Registry
134134
if: github.event_name != 'pull_request'
135-
uses: docker/login-action@v3
135+
uses: docker/login-action@v4
136136
with:
137137
registry: ghcr.io
138138
username: ${{ github.actor }}
@@ -182,14 +182,14 @@ jobs:
182182

183183
- name: Login to Docker Hub
184184
if: github.event_name != 'pull_request'
185-
uses: docker/login-action@v3
185+
uses: docker/login-action@v4
186186
with:
187187
username: ${{ secrets.DOCKERHUB_USERNAME }}
188188
password: ${{ secrets.DOCKERHUB_TOKEN }}
189189

190190
- name: Login to GitHub Container Registry
191191
if: github.event_name != 'pull_request'
192-
uses: docker/login-action@v3
192+
uses: docker/login-action@v4
193193
with:
194194
registry: ghcr.io
195195
username: ${{ github.actor }}
@@ -238,14 +238,14 @@ jobs:
238238

239239
- name: Login to Docker Hub
240240
if: github.event_name != 'pull_request'
241-
uses: docker/login-action@v3
241+
uses: docker/login-action@v4
242242
with:
243243
username: ${{ secrets.DOCKERHUB_USERNAME }}
244244
password: ${{ secrets.DOCKERHUB_TOKEN }}
245245

246246
- name: Login to GitHub Container Registry
247247
if: github.event_name != 'pull_request'
248-
uses: docker/login-action@v3
248+
uses: docker/login-action@v4
249249
with:
250250
registry: ghcr.io
251251
username: ${{ github.actor }}
@@ -289,13 +289,13 @@ jobs:
289289
uses: docker/setup-buildx-action@v3
290290

291291
- name: Login to Docker Hub
292-
uses: docker/login-action@v3
292+
uses: docker/login-action@v4
293293
with:
294294
username: ${{ secrets.DOCKERHUB_USERNAME }}
295295
password: ${{ secrets.DOCKERHUB_TOKEN }}
296296

297297
- name: Login to GitHub Container Registry
298-
uses: docker/login-action@v3
298+
uses: docker/login-action@v4
299299
with:
300300
registry: ghcr.io
301301
username: ${{ github.actor }}
@@ -357,13 +357,13 @@ jobs:
357357
uses: docker/setup-buildx-action@v3
358358

359359
- name: Login to Docker Hub
360-
uses: docker/login-action@v3
360+
uses: docker/login-action@v4
361361
with:
362362
username: ${{ secrets.DOCKERHUB_USERNAME }}
363363
password: ${{ secrets.DOCKERHUB_TOKEN }}
364364

365365
- name: Login to GitHub Container Registry
366-
uses: docker/login-action@v3
366+
uses: docker/login-action@v4
367367
with:
368368
registry: ghcr.io
369369
username: ${{ github.actor }}

.github/workflows/build-push-rocq.yml

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -42,14 +42,14 @@ jobs:
4242

4343
- name: Login to Docker Hub
4444
if: github.event_name != 'pull_request'
45-
uses: docker/login-action@v3
45+
uses: docker/login-action@v4
4646
with:
4747
username: ${{ secrets.DOCKERHUB_USERNAME }}
4848
password: ${{ secrets.DOCKERHUB_TOKEN }}
4949

5050
- name: Login to GitHub Container Registry
5151
if: github.event_name != 'pull_request'
52-
uses: docker/login-action@v3
52+
uses: docker/login-action@v4
5353
with:
5454
registry: ghcr.io
5555
username: ${{ github.actor }}
@@ -89,14 +89,14 @@ jobs:
8989

9090
- name: Login to Docker Hub
9191
if: github.event_name != 'pull_request'
92-
uses: docker/login-action@v3
92+
uses: docker/login-action@v4
9393
with:
9494
username: ${{ secrets.DOCKERHUB_USERNAME }}
9595
password: ${{ secrets.DOCKERHUB_TOKEN }}
9696

9797
- name: Login to GitHub Container Registry
9898
if: github.event_name != 'pull_request'
99-
uses: docker/login-action@v3
99+
uses: docker/login-action@v4
100100
with:
101101
registry: ghcr.io
102102
username: ${{ github.actor }}
@@ -140,13 +140,13 @@ jobs:
140140
uses: docker/setup-buildx-action@v3
141141

142142
- name: Login to Docker Hub
143-
uses: docker/login-action@v3
143+
uses: docker/login-action@v4
144144
with:
145145
username: ${{ secrets.DOCKERHUB_USERNAME }}
146146
password: ${{ secrets.DOCKERHUB_TOKEN }}
147147

148148
- name: Login to GitHub Container Registry
149-
uses: docker/login-action@v3
149+
uses: docker/login-action@v4
150150
with:
151151
registry: ghcr.io
152152
username: ${{ github.actor }}

.github/workflows/build-push-tsan.yml

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -45,14 +45,14 @@ jobs:
4545

4646
- name: Login to Docker Hub
4747
if: github.event_name != 'pull_request'
48-
uses: docker/login-action@v3
48+
uses: docker/login-action@v4
4949
with:
5050
username: ${{ secrets.DOCKERHUB_USERNAME }}
5151
password: ${{ secrets.DOCKERHUB_TOKEN }}
5252

5353
- name: Login to GitHub Container Registry
5454
if: github.event_name != 'pull_request'
55-
uses: docker/login-action@v3
55+
uses: docker/login-action@v4
5656
with:
5757
registry: ghcr.io
5858
username: ${{ github.actor }}
@@ -95,14 +95,14 @@ jobs:
9595

9696
- name: Login to Docker Hub
9797
if: github.event_name != 'pull_request'
98-
uses: docker/login-action@v3
98+
uses: docker/login-action@v4
9999
with:
100100
username: ${{ secrets.DOCKERHUB_USERNAME }}
101101
password: ${{ secrets.DOCKERHUB_TOKEN }}
102102

103103
- name: Login to GitHub Container Registry
104104
if: github.event_name != 'pull_request'
105-
uses: docker/login-action@v3
105+
uses: docker/login-action@v4
106106
with:
107107
registry: ghcr.io
108108
username: ${{ github.actor }}
@@ -146,13 +146,13 @@ jobs:
146146
uses: docker/setup-buildx-action@v3
147147

148148
- name: Login to Docker Hub
149-
uses: docker/login-action@v3
149+
uses: docker/login-action@v4
150150
with:
151151
username: ${{ secrets.DOCKERHUB_USERNAME }}
152152
password: ${{ secrets.DOCKERHUB_TOKEN }}
153153

154154
- name: Login to GitHub Container Registry
155-
uses: docker/login-action@v3
155+
uses: docker/login-action@v4
156156
with:
157157
registry: ghcr.io
158158
username: ${{ github.actor }}

.github/workflows/build-push.yml

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -75,14 +75,14 @@ jobs:
7575

7676
- name: Login to Docker Hub
7777
if: github.event_name != 'pull_request'
78-
uses: docker/login-action@v3
78+
uses: docker/login-action@v4
7979
with:
8080
username: ${{ secrets.DOCKERHUB_USERNAME }}
8181
password: ${{ secrets.DOCKERHUB_TOKEN }}
8282

8383
- name: Login to GitHub Container Registry
8484
if: github.event_name != 'pull_request'
85-
uses: docker/login-action@v3
85+
uses: docker/login-action@v4
8686
with:
8787
registry: ghcr.io
8888
username: ${{ github.actor }}
@@ -125,14 +125,14 @@ jobs:
125125

126126
- name: Login to Docker Hub
127127
if: github.event_name != 'pull_request'
128-
uses: docker/login-action@v3
128+
uses: docker/login-action@v4
129129
with:
130130
username: ${{ secrets.DOCKERHUB_USERNAME }}
131131
password: ${{ secrets.DOCKERHUB_TOKEN }}
132132

133133
- name: Login to GitHub Container Registry
134134
if: github.event_name != 'pull_request'
135-
uses: docker/login-action@v3
135+
uses: docker/login-action@v4
136136
with:
137137
registry: ghcr.io
138138
username: ${{ github.actor }}
@@ -182,14 +182,14 @@ jobs:
182182

183183
- name: Login to Docker Hub
184184
if: github.event_name != 'pull_request'
185-
uses: docker/login-action@v3
185+
uses: docker/login-action@v4
186186
with:
187187
username: ${{ secrets.DOCKERHUB_USERNAME }}
188188
password: ${{ secrets.DOCKERHUB_TOKEN }}
189189

190190
- name: Login to GitHub Container Registry
191191
if: github.event_name != 'pull_request'
192-
uses: docker/login-action@v3
192+
uses: docker/login-action@v4
193193
with:
194194
registry: ghcr.io
195195
username: ${{ github.actor }}
@@ -238,14 +238,14 @@ jobs:
238238

239239
- name: Login to Docker Hub
240240
if: github.event_name != 'pull_request'
241-
uses: docker/login-action@v3
241+
uses: docker/login-action@v4
242242
with:
243243
username: ${{ secrets.DOCKERHUB_USERNAME }}
244244
password: ${{ secrets.DOCKERHUB_TOKEN }}
245245

246246
- name: Login to GitHub Container Registry
247247
if: github.event_name != 'pull_request'
248-
uses: docker/login-action@v3
248+
uses: docker/login-action@v4
249249
with:
250250
registry: ghcr.io
251251
username: ${{ github.actor }}
@@ -289,13 +289,13 @@ jobs:
289289
uses: docker/setup-buildx-action@v3
290290

291291
- name: Login to Docker Hub
292-
uses: docker/login-action@v3
292+
uses: docker/login-action@v4
293293
with:
294294
username: ${{ secrets.DOCKERHUB_USERNAME }}
295295
password: ${{ secrets.DOCKERHUB_TOKEN }}
296296

297297
- name: Login to GitHub Container Registry
298-
uses: docker/login-action@v3
298+
uses: docker/login-action@v4
299299
with:
300300
registry: ghcr.io
301301
username: ${{ github.actor }}
@@ -357,13 +357,13 @@ jobs:
357357
uses: docker/setup-buildx-action@v3
358358

359359
- name: Login to Docker Hub
360-
uses: docker/login-action@v3
360+
uses: docker/login-action@v4
361361
with:
362362
username: ${{ secrets.DOCKERHUB_USERNAME }}
363363
password: ${{ secrets.DOCKERHUB_TOKEN }}
364364

365365
- name: Login to GitHub Container Registry
366-
uses: docker/login-action@v3
366+
uses: docker/login-action@v4
367367
with:
368368
registry: ghcr.io
369369
username: ${{ github.actor }}

0 commit comments

Comments
 (0)