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 .