Bump actions/checkout from 4 to 5#13

mmhat merged 1 commit intomainhaskell-effectful/typed-process-effectful:mainfrom

dependabot/github_actions/actions/checkout-5haskell-effectful/typed-process-effectful:dependabot/github_actions/actions/checkout-5Copy head branch name to clipboard