Added support for calculating and providing instrument rank (#26) #5
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Deploy main to production via SSH | |
| on: | |
| push: | |
| branches: | |
| - main | |
| jobs: | |
| fetch-setup: | |
| name: Fetch and setup | |
| runs-on: ubuntu-latest | |
| concurrency: | |
| group: deploy-main # Previene deployment contemporanei | |
| cancel-in-progress: true | |
| steps: | |
| - name: SSH key setup | |
| run: | | |
| mkdir -p ~/.ssh | |
| # echo "${{ vars.SSH_HOST_REGISTRY_PROD }} ${{ inputs.ssh-host-key }}" > ~/.ssh/known_hosts | |
| echo "${{ secrets.SSH_KEY_REGISTRY_PROD }}" > ~/.ssh/gha_private_key | |
| chmod 600 ~/.ssh/gha_private_key | |
| - name: SSH fetch commit and setup | |
| run: | | |
| ssh -i ~/.ssh/gha_private_key -o StrictHostKeyChecking=accept-new ${{ vars.SSH_USER_REGISTRY_PROD }}@${{ vars.SSH_HOST_REGISTRY_PROD }} << 'ENDSSH' | |
| cd ${{ vars.SSH_PWD_REGISTRY_PROD }} | |
| git pull --ff origin main | |
| make rebuild | |
| ENDSSH |