tree 5cbbd4dfd689b9011813a96bacfc0fb81c7d9916
parent 86dfce17e661064ea250883071a0fd1b0b318a3c
author Markus Jung <jungm@apache.org> 1707226293 +0100
committer Markus Jung <jungm@apache.org> 1707226293 +0100

Bump actions/checkout and actions/setup-java to v4
See https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/