diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 3b316caf7be..2b035cb9a01 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -359,7 +359,7 @@ jobs: cargo package -p kani-verifier - name: 'Login to GitHub Container Registry' - uses: docker/login-action@v3 + uses: docker/login-action@v4 with: registry: ghcr.io username: ${{ github.repository_owner }}