Merge branch 'main' into fixes-per-deployment-refresh

This commit is contained in:
2024-02-16 01:37:24 -03:00
2 changed files with 47 additions and 45 deletions

View File

@@ -48,6 +48,7 @@ jobs:
username: ${{ secrets.SSH_USER }} username: ${{ secrets.SSH_USER }}
port: ${{ secrets.SSH_PORT }} port: ${{ secrets.SSH_PORT }}
key: ${{ secrets.SSH_KEY }} key: ${{ secrets.SSH_KEY }}
command_timeout: 30m
script: | script: |
sudo apt update && sudo apt install -y jq sudo apt update && sudo apt install -y jq
source ~/.profile source ~/.profile

View File

@@ -46,6 +46,7 @@ jobs:
username: ${{ secrets.SSH_USER }} username: ${{ secrets.SSH_USER }}
port: ${{ secrets.SSH_PORT }} port: ${{ secrets.SSH_PORT }}
key: ${{ secrets.SSH_KEY }} key: ${{ secrets.SSH_KEY }}
command_timeout: 30m
script: | script: |
sudo apt update && sudo apt install -y jq sudo apt update && sudo apt install -y jq
source ~/.profile source ~/.profile