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

Bumps [docker/login-action](https://github.com/docker/login-action) from
2 to 3.

Author: dependabot[bot]

.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 }}