CI: migrate workflows to checkout v5#1171

rejected-l wants to merge 1 commit intoConsensys:mainConsensys/doc.linea:mainfrom

rejected-l:mainrejected-l/doc.linea:mainCopy head branch name to clipboard