update ci

This commit is contained in:
Aliberk Sandıkçı 2024-11-25 19:03:22 +03:00
parent 244e272c25
commit 7c42d7916b
Signed by: asandikci
GPG key ID: A3B47D76845BEDF3

View file

@ -37,7 +37,6 @@ jobs:
- name: Checkout branch "${{ github.ref_name }}"
run: |
git clone --no-checkout https://github.com/MaintainTeam/LastPipeBender.git .
git config core.symlinks false
git checkout --progress --force ${{ github.ref_name }}
- name: Set up JDK 17