quick commit
All checks were successful
ci / build (push) Successful in 26s

This commit is contained in:
2026-02-01 17:07:35 +01:00
parent f4a1dca281
commit dd312b9ec5

View File

@@ -14,11 +14,11 @@ jobs:
password: ${{ secrets.DOCKER_PASSWORD }}
steps:
- name: Checkout
run: |
git init
git remote add origin https://${{ github.actor }}:${{ secrets.GITHUB_TOKEN }}@git.rivercry.com/${{ github.repository }}.git
git fetch --depth 1 origin ${{ github.sha }}
git checkout FETCH_HEAD
run: |
git init
git remote add origin https://${{ github.actor }}:${{ secrets.GITHUB_TOKEN }}@git.rivercry.com/${{ github.repository }}.git
git fetch --depth 1 origin ${{ github.sha }}
git checkout FETCH_HEAD
- name: Configure
run: cmake -S . -B build -DCMAKE_BUILD_TYPE=Release