diff options
author | Rasmus Andersson <rasmus@notion.se> | 2023-11-19 05:09:14 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2023-11-19 05:09:14 +0300 |
commit | 8cfeac11f420c651fcc974ae4f3bb2d5fa874135 (patch) | |
tree | c13ad4a0457b235982d5ee0a34bfdc9a50a3b0bd | |
parent | 3ea9816a1574073a243370f5dec01956fa35d49d (diff) | |
download | inter-8cfeac11f420c651fcc974ae4f3bb2d5fa874135.tar.xz |
makefile: fix github CI by pinning pipenv (which autobroke) to a specific version
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 $@ |