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

model-checking · Dec 7, 2023 · 11685e1 · 11685e1
2 parents 27e9e64 + c59c557
commit 11685e1
Showing 1 changed file with 1 addition and 1 deletion.
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@v4
+ uses: actions/labeler@v5
  with:
  dot: true