Switched to a new branch 'cover.1727690180.git.federico.serafini@bugseng.com'
Applying: EFI: address a violation of MISRA C Rule 13.6
Applying: xen/gnttab: address a violation of MISRA C Rule 13.6
Applying: automation/eclair: tag Rule 13.6 as clean
Warning: Permanently added 'gitlab.com' (ED25519) to the list of known hosts.
To gitlab.com:xen-project/patchew/xen.git
 + 9bf2f36b91...f1a7da9c95 patchew/cover.1727690180.git.federico.serafini@bugseng.com -> patchew/cover.1727690180.git.federico.serafini@bugseng.com (forced update)