chore(ci): upgrade checkout to v5#85

zkpepe wants to merge 1 commit intoarkworks-rs:masterarkworks-rs/groth16:masterfrom

zkpepe:patch-1zkpepe/groth16:patch-1Copy head branch name to clipboard