From 8cfeac11f420c651fcc974ae4f3bb2d5fa874135 Mon Sep 17 00:00:00 2001 From: Rasmus Andersson Date: Sat, 18 Nov 2023 18:09:14 -0800 Subject: [PATCH] makefile: fix github CI by pinning pipenv (which autobroke) to a specific version --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 0b4882529..10b23bc2e 100644 --- a/Makefile +++ b/Makefile @@ -772,7 +772,7 @@ build/venv/config2.stamp: Pipfile.lock Pipfile @mkdir -p build [ ! -f build/venv/config.stamp ] || rm -rf build/venv [ -d build/venv ] || python3 -m venv build/venv - . $(VENV) ; pip install pipenv + . $(VENV) ; pip install pipenv==2023.8.28 . $(VENV) ; pipenv install touch $@