Merge branch 'main' into dependabot/github_actions/docker/login-action-3

model-checking · Dec 7, 2023 · 0b7713e · 0b7713e
2 parents 11685e1 + 2aca488
commit 0b7713e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/extra_jobs.yml b/.github/workflows/extra_jobs.yml
@@ -37,7 +37,7 @@ jobs:
 
  - name: Label PR
  id: labeler
- uses: actions/labeler@v5
+ uses: actions/labeler@v4
  with:
  dot: true
 

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -284,7 +284,7 @@ jobs:
  OWNER: '${{ github.repository_owner }}'
 
  - name: Build and push
- uses: docker/build-push-action@v3
+ uses: docker/build-push-action@v5
  with:
  context: .
  file: scripts/ci/Dockerfile.bundle-release-20-04