Bump docker/login-action from 2 to 3 (#2916)

Bumps [docker/login-action](https://github.com/docker/login-action) from 2 to 3.
model-checking · Dec 8, 2023 · abd3690 · abd3690
1 parent d095367
commit abd3690
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -271,7 +271,7 @@ jobs:
  cargo package -p kani-verifier
 
  - name: 'Login to GitHub Container Registry'
- uses: docker/login-action@v2
+ uses: docker/login-action@v3
  with:
  registry: ghcr.io
  username: ${{ github.repository_owner }}