summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorAlexandre Flament <alex@al-f.net>2021-01-14 20:35:10 +0100
committerAlexandre Flament <alex@al-f.net>2021-01-14 20:35:10 +0100
commit5a511f0d620038b8e94c581bcfd3c987082b9414 (patch)
tree98691e4d57c81c4f684749808a04688f821b10fe /.github
parent824fe40a28d802d5855a92c013ad8a6d7037a537 (diff)
downloadsearxng-5a511f0d620038b8e94c581bcfd3c987082b9414.tar.gz
searxng-5a511f0d620038b8e94c581bcfd3c987082b9414.zip
[fix] CI: fix docker push
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/integration.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
index bf9883353..4f3b8e9c8 100644
--- 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