parent
4cc1f16fc9
commit
d8d90df077
1 changed files with 1 additions and 1 deletions
|
|
@ -8,7 +8,7 @@ jobs:
|
||||||
run: |
|
run: |
|
||||||
echo ${{ github.server_url }}
|
echo ${{ github.server_url }}
|
||||||
echo ${{ github.repository }}
|
echo ${{ github.repository }}
|
||||||
git clone ${{ github.server_url }}/${{ github.repository }}.git .
|
git clone --branch ${{ github.ref_name }} ${{ github.server_url }}/${{ github.repository }}.git .
|
||||||
# - name: Build
|
# - name: Build
|
||||||
# run: docker run --rm -w /doc -v $PWD:/doc thomasweise/docker-texlive-full make
|
# run: docker run --rm -w /doc -v $PWD:/doc thomasweise/docker-texlive-full make
|
||||||
- name: Build
|
- name: Build
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue