diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2022-05-20 11:28:24 +0200 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2022-05-20 11:31:15 +0200 |
commit | 8884c99b7aea2306b217af2a4e5bcaddad178fd6 (patch) | |
tree | f2955a1386e4a3ccd4c95c3b070ec498485c4f96 /.github/workflows | |
parent | Makefile: fix clean recipe (diff) | |
download | cv-8884c99b7aea2306b217af2a4e5bcaddad178fd6.tar.gz cv-8884c99b7aea2306b217af2a4e5bcaddad178fd6.zip |
workflows/build: rsync PDF to server
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/build.yml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 3217277..f480bdc 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -29,3 +29,13 @@ jobs: folder: cv single-commit: true if: github.ref == 'refs/heads/master' + - name: Set up ssh-agent + uses: webfactory/ssh-agent@v0.5.3 + with: + ssh-private-key: '${{ secrets.REMOTE_SSH_KEY }}' + - name: Deploy + run: make deploy + env: + REMOTE_USER: '${{ secrets.REMOTE_USER }}' + REMOTE_HOST: '${{ secrets.REMOTE_HOST }}' + REMOTE_DIR: '${{ secrets.REMOTE_DIR }}' |