See https://github.com/model-checking/kani/actions/runs/8683193890/job/23808816781:

1. It seems that, on this occasion, a manual PR with cargo updates will be required.
2. We need to fix the CI job to make sure that compilation failures do not trigger an early abort, but instead automatically cut an issue.