diff options
Diffstat (limited to '.github/workflows/ci.yml')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 9e154d3..2a00e81 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -60,7 +60,7 @@ jobs: needs: [lint, test] if: github.event_name == 'push' steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 - name: Build production Docker image run: | @@ -75,7 +75,7 @@ jobs: docker push ${{ secrets.REGISTRY_HOST }}/${{ secrets.REGISTRY_USERNAME }}/operum:main docker logout ${{ secrets.REGISTRY_HOST }} - # The server provides a small script named `service-restart` which will do + # The server provides a small script named `infra-restart` which will do # the right thing to pull the new image of the desired service and re-run # it. - name: executing remote ssh commands using password |