summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorJohn J. Camilleri <john@digitalgrammars.com>2020-06-30 11:12:10 +0200
committerJohn J. Camilleri <john@digitalgrammars.com>2020-06-30 11:12:10 +0200
commitdaa2145378916353eedcbfbf22a2b1867a9b76db (patch)
tree53bee92c4473bf87cb4143e4abd63280c7d06282 /.github
parent398c64734cbfafdf6dca549076e8be0c3e1a5f2a (diff)
Try alternate way of cloning RGL one level up
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/build-debian-package.yml4
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: |