From 1b61765df84719817ec6b4c77f35c46eced942e9 Mon Sep 17 00:00:00 2001
From: Mark Schmitt <31215086+MarkSchmitt@users.noreply.github.com>
Date: Thu, 7 Jan 2021 08:56:48 +0100
Subject: [PATCH] Install pip

---
 .github/workflows/docker-publish.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docker-publish.yml b/.github/workflows/docker-publish.yml
index 479f52a2c..fcdf93c8f 100644
--- a/.github/workflows/docker-publish.yml
+++ b/.github/workflows/docker-publish.yml
@@ -54,7 +54,7 @@ jobs:
     - name: dependencies
       run: |
         pip install --upgrade pipenv
-        pipenv install --system --dev --ignore-pipfile
+        pipenv install --system --dev
     - name: make
       run: |
         cd docs/