[fix] CI: fix docker push

3 years ago · 5a511f0d62
parent 824fe40a28
commit 5a511f0d62
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/integration.yml
+++ b/.github/workflows/integration.yml
@ -92,7 +92,7 @@ jobs:
      - documentation
    env:
      DOCKERHUB_USERNAME: ${{ secrets.DOCKERHUB_USERNAME }}
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-18.04
    steps:
      - name: Checkout
        if: env.DOCKERHUB_USERNAME != null