On Thu, 21 Sep 2023 14:43:11 GMT, Erik Joelsson <erikj at openjdk.org> wrote: > Update the GitHub checkout action to v4 (latest). This was recently done in the JDK repositories. Marked as reviewed by zsong (Reviewer). ------------- PR Review: https://git.openjdk.org/skara/pull/1557#pullrequestreview-1638287951