diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build-debian-package.yml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.github/workflows/build-debian-package.yml b/.github/workflows/build-debian-package.yml index 8db5cae33..93b369d5c 100644 --- a/.github/workflows/build-debian-package.yml +++ b/.github/workflows/build-debian-package.yml @@ -31,10 +31,8 @@ jobs: pandoc - name: Checkout RGL - env: - working-directory: ../ run: | - git clone https://github.com/GrammaticalFramework/gf-rgl.git + git clone --depth 1 https://github.com/GrammaticalFramework/gf-rgl.git ../gf-rgl - name: Build Debian package run: | |