Skip to content

devops: Also extrac API password for doc #190

devops: Also extrac API password for doc

devops: Also extrac API password for doc #190

name: Push master -> devops/deploy-to-dev
on:
# Auto deploy master to dev on push to master
push:
branches:
- 'master'
# Allow manual deployment in github
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
ref: 'master'
ssh-key: ${{ secrets.SSH_KEY }}
- name: Push for deployment
run: |
git push --force origin HEAD:devops/deploy-to-dev