Update github checkout action

This commit is contained in:
AsamK 2023-10-17 19:21:41 +02:00
parent 1ed5148624
commit 5b56445741
3 changed files with 5 additions and 5 deletions

View file

@ -27,7 +27,7 @@ jobs:
java-version: 17
- name: Checkout repository
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
# We must fetch at least the immediate parents so that if this is
# a pull request then we can checkout the head.