File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed
Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change 3131 - name : Check formatting with Black.
3232 run : black --fast --check .
3333 - name : Checkout wala/IDE sources.
34- run : git clone --depth=50 https://github.com/wala/IDE ${{ runner.temp }}/IDE
34+ run : git clone --depth=1 https://github.com/wala/IDE ${{ runner.temp }}/IDE
3535 - name : Checkout ponder-lab/jython3 sources.
36- run : git clone --depth=50 https://github.com/ponder-lab/jython3.git ${{ runner.temp }}/jython3
36+ run : git clone --depth=1 https://github.com/ponder-lab/jython3.git ${{ runner.temp }}/jython3
3737 - name : Install Jython3.
3838 run : |
3939 pushd ${{ runner.temp }}/jython3
Original file line number Diff line number Diff line change @@ -6,8 +6,8 @@ before_install:
66 - pip install -r requirements.txt
77 - mvn spotless:check -B
88 - black --fast --check .
9- - git clone --depth=50 https://github.com/wala/IDE /tmp/IDE
10- - git clone --depth=50 https://github.com/ponder-lab/jython3.git /tmp/jython3
9+ - git clone --depth=1 https://github.com/wala/IDE /tmp/IDE
10+ - git clone --depth=1 https://github.com/ponder-lab/jython3.git /tmp/jython3
1111install :
1212 - pushd /tmp/jython3
1313 - ant
You can’t perform that action at this time.
0 commit comments