github actions: update to checkout@v5#70

falk-werner merged 2 commits into

mainfalk-werner/note.py:mainfrom

topic/update-github-checkout-actionfalk-werner/note.py:topic/update-github-checkout-actionCopy head branch name to clipboard