makefile: fix github CI by pinning pipenv (which autobroke) to a specific version

This commit is contained in:
Rasmus Andersson 2023-11-18 18:09:14 -08:00
parent 3ea9816a15
commit 8cfeac11f4

View file

@ -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 $@