From e459e30eb5ca888d5ea0126d98cedde19945f3da Mon Sep 17 00:00:00 2001 From: Daejun Park Date: Wed, 20 Dec 2023 17:36:20 -0800 Subject: [PATCH] explicitly install requirements.txt --- .github/workflows/test-external.yml | 4 +++- .github/workflows/test-ffi.yml | 1 + .github/workflows/test-long.yml | 1 + .github/workflows/test.yml | 1 + 4 files changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml index b88197ef..cd5de33b 100644 --- a/.github/workflows/test-external.yml +++ b/.github/workflows/test-external.yml @@ -61,7 +61,9 @@ jobs: python-version: "3.11" - name: Install dependencies - run: python -m pip install --upgrade pip + run: | + python -m pip install --upgrade pip + python -m pip install -r ./halmos/requirements.txt - name: Install Halmos run: python -m pip install -e ./halmos diff --git a/.github/workflows/test-ffi.yml b/.github/workflows/test-ffi.yml index a53199a9..c48ca22f 100644 --- a/.github/workflows/test-ffi.yml +++ b/.github/workflows/test-ffi.yml @@ -33,6 +33,7 @@ jobs: run: | python -m pip install --upgrade pip pip install pytest + pip install -r requirements.txt - name: Install Halmos run: pip install -e . diff --git a/.github/workflows/test-long.yml b/.github/workflows/test-long.yml index 4833d91e..f311af52 100644 --- a/.github/workflows/test-long.yml +++ b/.github/workflows/test-long.yml @@ -37,6 +37,7 @@ jobs: run: | python -m pip install --upgrade pip pip install pytest + pip install -r requirements.txt - name: Install Halmos run: pip install -e . diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 4d515533..abb8429a 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -35,6 +35,7 @@ jobs: run: | python -m pip install --upgrade pip pip install pytest + pip install -r requirements.txt - name: Install Halmos run: pip install -e .