Bump actions/checkout from 4 to 5#94

markusdemedeiros merged 1 commit intomasterleanprover-community/iris-lean:masterfrom

dependabot/github_actions/actions/checkout-5leanprover-community/iris-lean:dependabot/github_actions/actions/checkout-5Copy head branch name to clipboard