git
This commit is contained in:
parent
070adc52fd
commit
88cad155e9
1 changed files with 13 additions and 1 deletions
|
|
@ -19,9 +19,21 @@ jobs:
|
||||||
|
|
||||||
steps:
|
steps:
|
||||||
- name: Checkout repository
|
- name: Checkout repository
|
||||||
uses: actions/checkout@v3
|
uses: actions/checkout@v4
|
||||||
with:
|
with:
|
||||||
fetch-depth: 0
|
fetch-depth: 0
|
||||||
|
submodules: recursive
|
||||||
|
|
||||||
|
- name: Ensure git repo exists
|
||||||
|
run: |
|
||||||
|
if [ ! -d ".git" ]; then
|
||||||
|
echo "Repository is missing .git — reconstructing git metadata"
|
||||||
|
git init
|
||||||
|
git remote add origin "${{ github.repositoryUrl }}"
|
||||||
|
git fetch --depth 1 origin "${{ github.ref }}"
|
||||||
|
git checkout "${{ github.ref_name }}"
|
||||||
|
fi
|
||||||
|
|
||||||
|
|
||||||
- name: Set up Python and dependencies
|
- name: Set up Python and dependencies
|
||||||
run: |
|
run: |
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue