First flatentry helper model #17

Merged
mih merged 1 commit from flatentry into main 2025-08-19 08:44:01 +00:00
2 changed files with 2 additions and 2 deletions

View file

@ -20,7 +20,7 @@ jobs:
- name: Checkout - name: Checkout
run: | run: |
git clone "$(echo ${GITHUB_SERVER_URL} | cut -d : -f1)://${GITHUB_TOKEN}:@$(echo ${GITHUB_SERVER_URL} | cut -d / -f3-)/${GITHUB_REPOSITORY}.git" . git clone "$(echo ${GITHUB_SERVER_URL} | cut -d : -f1)://${GITHUB_TOKEN}:@$(echo ${GITHUB_SERVER_URL} | cut -d / -f3-)/${GITHUB_REPOSITORY}.git" .
git checkout "${GITHUB_REF_NAME}" git checkout "${GITHUB_HEAD_REF:-${GITHUB_REF_NAME}}"
- name: Run checks - name: Run checks
run: | run: |

View file

@ -20,7 +20,7 @@ jobs:
- name: Checkout - name: Checkout
run: | run: |
git clone "$(echo ${GITHUB_SERVER_URL} | cut -d : -f1)://${GITHUB_TOKEN}:@$(echo ${GITHUB_SERVER_URL} | cut -d / -f3-)/${GITHUB_REPOSITORY}.git" . git clone "$(echo ${GITHUB_SERVER_URL} | cut -d : -f1)://${GITHUB_TOKEN}:@$(echo ${GITHUB_SERVER_URL} | cut -d / -f3-)/${GITHUB_REPOSITORY}.git" .
git checkout "${GITHUB_REF_NAME}" git checkout "${GITHUB_HEAD_REF:-${GITHUB_REF_NAME}}"
- name: Run checks - name: Run checks
run: | run: |