Update gh actions checktout to v5

[Jakuje]

not necessarily for this PR, but there is checkout@v5 now -- it should not have any drawbacks to update.

https://github.com/actions/checkout/releases/tag/v5.0.0

Originally posted by @Jakuje in #353 (comment)